Generating Hints and Feedback for Hilbert-style Axiomatic Proofs.

Josje Lodder Bastiaan Heeren Johan Jeuring

Published in: SIGCSE (2017)

Keyphrases

databases
theorem prover
feedback mechanisms
user feedback
human operators
automatically generating
formal proof
clifford algebra