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

Publications

• Zenon : An Extensible Automated Theorem Prover Producing Checkable Proofs
  R. Bonichon, D. Delahaye and D. Doligez, LPAR 2007
  pdf, BibTeX

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/

• version 0.8.0 (2014-10-21): gzip
• version 0.7.1 (2012-05-09): gzip; xzip
• version 0.6.3 (2010-02-19): gzip; bzip2
• version 0.5.0 (2007-08-02): gzip; bzip2
• version 0.4.1 (2006-03-01): gzip; bzip2

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