Towards extracting explicit proofs from totality checking in twelf.

Yuting Wang Gopalan Nadathur

Published in: LFMTP (2013)

Keyphrases

formal proofs
neural network
image processing
theorem prover
theorem proving
data extraction
data sets
information retrieval
search engine
multiscale
relational databases
artificial neural networks
automatic extraction
equational theories