How Proofs are Prepared at Camelot: Extended Abstract.

Andreas Björklund Petteri Kaski

Published in: PODC (2016)

Keyphrases

extended abstract
formal proofs
theorem proving
theorem prover
formal proof
equational theories
artificial intelligence
image segmentation
special case
information retrieval
objective function
cooperative
automated theorem provers
mathematical proofs