Optimizing a Certified Proof Checker for a Large-Scale Computer-Generated Proof.

Luís Cruz-Filipe Peter Schneider-Kamp

Published in: CICM (2015)

Keyphrases

computer generated
theorem prover
real world
linear logic
natural deduction
data mining
image processing
multi view
small scale
theorem proving
proof search