
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