Zenon is work in progress. There is no documentation yet, but the source code is available.

Publications

Source Code

Zenon is available under the New BSD license.

To clone the current Zenon git, type in a command prompt git clone http://sosie.inria.fr/zenon.git/

E-mail contact: zenon.prover at gmail.com