zipperpositionversion

A fully automatic theorem prover for typed higher-order and beyond

Tags logic unification term superposition prover
AuthorsSimon Cruanes, Petar Vukmirovic, Alexander Bentkamp, Sophie Tourret and Visa Nummelin
LicenseBSD-2-Clause
Published
Homepagehttps://github.com/sneeuwballen/zipperposition
Issue Trackerhttps://github.com/sneeuwballen/zipperposition/issues
Maintainersimon.cruanes.2.17@m4x.org
Dependencies
Source [http] https://github.com/sneeuwballen/zipperposition/archive/2.1.tar.gz
md5=e72de75e9f0f87da9e6e8c0a4d4c89f9
sha512=81becfc9badd686ab3692cd9312172aa4c4e3581b110e81770bb01e0ffbc1eb8495d0dd6d43b98f3d06e6b8c8a338174c13ebafb4e9849a3ddf89f9a3a72c287
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/zipperposition/zipperposition.2.1/opam
No package is dependent