Sign in
Semi-intelligible Isar Proofs from Machine-Generated Proofs.
Jasmin Christian Blanchette
Sascha Böhme
Mathias Fleury
Steffen Juilf Smolka
Albert Steckermeier
Published in:
J. Autom. Reason. (2016)
Keyphrases
</>
mathematical proofs
theorem prover
data mining
theorem proving
formal proofs
equational theories
databases
learning algorithm
artificial intelligence
logic programs
formal proof
signal processing
automated theorem provers