zipperpositionversion
A fully automatic theorem prover for typed higher-order and beyond
| Tags | logic unification term superposition prover |
|---|---|
| Authors | Simon Cruanes, Petar Vukmirovic, Alexander Bentkamp, Sophie Tourret and Visa Nummelin |
| License | BSD-2-Clause |
| Published | |
| Homepage | https://github.com/sneeuwballen/zipperposition |
| Issue Tracker | https://github.com/sneeuwballen/zipperposition/issues |
| Maintainer | simon.cruanes.2.17@m4x.org |
| Dependencies |
|
| Source [http] | https://github.com/sneeuwballen/zipperposition/archive/2.1.tar.gz md5=e72de75e9f0f87da9e6e8c0a4d4c89f9 sha512=81becfc9badd686ab3692cd9312172aa4c4e3581b110e81770bb01e0ffbc1eb8495d0dd6d43b98f3d06e6b8c8a338174c13ebafb4e9849a3ddf89f9a3a72c287 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/zipperposition/zipperposition.2.1/opam |
No package is dependent
