User Interfaces for Theorem Provers: Necessary Nuisance or Unexplored Potential?
DOI:
https://doi.org/10.14279/tuj.eceasst.23.322Abstract
This note considers the design of user interfaces for interactive theorem provers. The basic rules of interface design are reviewed, and their applicability to theorem provers is discussed, leading to considerations about the particular challenges of interface design for theorem provers. A short overview and classification of existing interfaces is given, followed by suggestions of possible future work in the area.Downloads
Published
2009-12-17
How to Cite
[1]
C. Lüth, “User Interfaces for Theorem Provers: Necessary Nuisance or Unexplored Potential?”, eceasst, vol. 23, Dec. 2009.
Issue
Section
Articles