Automation for interactive proof: First prototype.

Jia Meng Claire Quigley Lawrence C. Paulson

Published in: Inf. Comput. (2006)

Keyphrases

computer graphics
user friendly
interactive learning
highly interactive
machine learning
theorem proving
knowledge base
web services
virtual reality
test bed
theorem prover
data visualization
graphical interface
interactive systems
interactive exploration
automated theorem proving