User Interaction with the Matita Proof Assistant.

Andrea Asperti Claudio Sacerdoti Coen Enrico Tassi Stefano Zacchiroli

Published in: J. Autom. Reason. (2007)

Keyphrases

user interaction
user feedback
user behavior
user interface
user studies
test bed
user input
user experience
theorem proving
theorem prover
data sets
linear logic
machine learning
interactive segmentation