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 (from github) type this in a command prompt: git clone https://github.com/zenon-prover/zenon.git

• version 0.8.4 (2018-09-18): gzip
• version 0.8.2 (2016-06-06): gzip
• version 0.8.1 (2016-05-31): gzip
• 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