ocaml/opam-repository — pull request #3114 by AltGr (2014-11-27 03:58:44+00:00)
Title: zenon.0.7.1 - via opam-publish

Automated theorem prover for first order classical logic (with equality), based on the tableau method
Zenon is an automatic theorem prover written in OCaml. Zenon handles
first-order logic with equality. Its most important feature is that it
outputs the proofs of the theorems, in Coq-checkable form.

---
* Homepage:
* Source repo:
* Bug tracker:

---
Pull-request generated by opam-publish v0.2