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.
148Updated 10 months ago

Alternatives and similar repositories for zipperposition

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

Sorting: