Alethe: Towards a Generic SMT Proof Format (extended abstract).

Hans-Jörg Schurr Mathias Fleury Haniel Barbosa Pascal Fontaine

Published in: PxTP (2021)

Keyphrases

extended abstract
metadata
theorem proving
domain specific
databases
natural language processing
statistical machine translation
website
high level
digital libraries
application specific
theorem prover
machine translation system
mathematical proofs
modulo theories