sneeuwballen / zipperpositionLinks

An automatic theorem prover in OCaml for typed higher-order logic with equality and datatypes, based on superposition+rewriting; and Logtk, a supporting library for manipulating terms, formulas, clauses, etc.
144Updated 7 months ago

Alternatives and similar repositories for zipperposition

Users that are interested in zipperposition are comparing it to the libraries listed below

Sorting: