Scalable LCF-Style Proof Translation.

Cezary Kaliszyk Alexander Krauss

Published in: ITP (2013)

Keyphrases

machine translation
theorem prover
machine learning
cross language information retrieval
mathematical proofs
geometry theorem proving
web scale
real time
artificial intelligence
lightweight
complete axiomatization