Zenon Modulo

What is Zenon Modulo ?

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

Get Zenon Modulo !

2016-11-08: zenon_modulo_0.4.2.tar.gz