
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.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