Declarative Proof Translation (Short Paper).

Cezary Kaliszyk Karol Pak

Published in: ITP (2019)

Keyphrases

machine translation
high level
domain independent
theorem prover
automated theorem proving
real time
artificial intelligence
computer vision
database systems
hidden markov models
knowledge representation
natural deduction
mathematical proofs