Zenon Modulo

What is Zenon Modulo ?

Zenon Modulo is an extension to deduction modulo of the automated theorem prover for first-order logic Zenon. See the README file for more informations.

Get Zenon Modulo !

2016-07-26: zenon_modulo_0.4.2_tstp.tar.gz is an extension of Zenon Modulo to use TSTP proof traces coming from other provers like Eprover.

2015-12-01: zenon_modulo_0.4.2.tar.gz

Also available on OPAM