zipperpositionversion
A fully automatic theorem prover for typed first-order and beyond
| Tags | logic unification term superposition prover |
|---|---|
| Author | Simon Cruanes |
| Published | |
| Homepage | https://github.com/sneeuwballen/zipperposition |
| Issue Tracker | https://github.com/sneeuwballen/zipperposition/issues |
| Maintainer | simon.cruanes.2007@m4x.org |
| Dependencies |
|
| Source [http] | https://github.com/sneeuwballen/zipperposition/archive/1.5.1.tar.gz md5=cc320f66f10555c54822da624419e003 sha512=f8d5f7a5ae790bf0388d74261673803cf375f91f92f7b413b70db1ce5841ef55343a208f98727c8551d66f1840ab892f1c0c943a34861d14d79ce469b235a2f2 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/zipperposition/zipperposition.1.5.1/opam |
No package is dependent
