User Interfaces for Theorem Provers: Necessary Nuisance or Unexplored Potential?

Christoph Lüth

Published in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2009)

Keyphrases

theorem prover
user interface
theorem proving
automated reasoning
first order logic
automated theorem proving
automated deduction
term rewriting
user experience
inference rules
formal semantics
natural deduction
operating system
predicate calculus
proof search