OCaml logo
4 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
logtk
Core types and algorithms for logic
logic unification term
Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
2.1
BSD-2-Clause
Used by 3 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
zipperposition-tools
Support tools for Zipperposition
Simon Cruanes Petar Vukmirovic Alexander Bentkamp Sophie Tourret Visa Nummelin
2.1
BSD-2-Clause
Used by 0 other packages