A Trustworthy Proof Checker.

Andrew W. Appel Neophytos G. Michael Aaron Stump Roberto Virga

Published in: J. Autom. Reason. (2003)

Keyphrases

theorem proving
proof planning
data sets
multimedia
probability distribution
geometry theorem proving
computer science
theorem prover
linear logic
mathematical proofs