Checking Zenon Modulo Proofs in Dedukti.

Raphaël Cauderlier Pierre Halmagrand

Published in: PxTP@CADE (2015)

Keyphrases

theorem proving
formal proof
theorem prover
equational theories
knowledge base
support vector
computer programs
decision procedures
mathematical knowledge
formal proofs