OCaml logo
2 Search Results
libzipperposition
Library for Zipperposition
logic unification term superposition prover
Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
2.1
BSD-2-Clause
Used by 2 other packages
zipperposition
A fully automatic theorem prover for typed higher-order and beyond
logic unification term superposition prover
Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
2.1
BSD-2-Clause
Used by 0 other packages