Popular repositories

1. zipperposition zipperposition Public

   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, cl…

   OCaml 122 19

2. benchpress benchpress Public

   Testing and benchmarking tool for logic-related programs.

   OCaml 25 6