We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
f1f5d7a
A maintenance release to make Zenon compatible with newer versions of OCaml (4.07.0 to 4.11.1) and Coq (8.6 to 8.12.0).
071e54a
A maintenance release to make Zenon compilable with newer versions of OCaml (4.06.0+).