Sign in

A Trustworthy Proof Checker.

Andrew W. AppelNeophytos G. MichaelAaron StumpRoberto 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