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

Publications

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

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