A Minimal Graphical User Interface for the Jape Proof Calculator.

Richard Bornat Bernard Sufrin

Published in: Formal Aspects Comput. (1999)

Keyphrases

graphical user interface
user friendly
graphical user interfaces
user interface
visualization tool
theorem prover
high level
theorem proving
data sets
databases
learning algorithm
computer vision
expert systems
proof theory