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.

• 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