Zenon Modulo

Home Members Software Seminars

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 !

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

Also available on OPAM