Learning how to Prove: From the Coq Proof Assistant to Textbook Style.

Sebastian Böhne Christoph Kreitz

Published in: ThEdu@CADE (2017)

Keyphrases

learning algorithm
machine learning
supervised learning
database
data sets
neural network
learning process
knowledge acquisition
computer programming
data mining
learning environment
prior knowledge
empirical studies
learning tasks
theorem prover