Interactive Theorem Proving - Modelling the User in the Proof Process.

Bernhard Beckert Sarah Grebing

Published in: Bridging@CADE (2015)

Keyphrases

interactive theorem proving
user interface
theorem proving
user interaction
user defined
construction process
machine learning
recommender systems
process model
development process