Crafting a Proof Assistant.

Andrea Asperti Claudio Sacerdoti Coen Enrico Tassi Stefano Zacchiroli

Published in: TYPES (2006)

Keyphrases

test bed
theorem proving
theorem prover
proof planning
decision making
linear logic
natural deduction
geometry theorem proving
databases
neural network
information systems
image processing
website
face recognition
complete axiomatization
mathematical proofs