Login / Signup
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