Towards Extracting Explicit Proofs from Totality Checking in Twelf.

Yuting Wang Gopalan Nadathur

Published in: CoRR (2013)

Keyphrases

theorem proving
automatically extracting
consistency checking
data mining
theorem prover
real world
artificial intelligence
search engine
multimedia
case study
formal proof
automated theorem provers
mathematical proofs