On the Proofs of Some Formally Unprovable Propositions and Prototype Proofs in Type Theory.

Published in: TYPES (2000)

Keyphrases

equational theories
mathematical proofs
formal proofs
theorem proving
theorem prover
theoretical framework
decision procedures
databases
website
case study
data sets
e learning
computer algebra
sequent calculus
mathematical knowledge
information systems
machine learning