Repositories list

• benchpress

  Public
  Testing and benchmarking tool for logic-related programs.

  ocamltest-runnerweb-ui+ 3smtlibtptpbenchmark-scripts

  OCaml

  •

  BSD 2-Clause "Simplified" License

  •8•28•19•1•Updated Feb 9, 2026Feb 9, 2026

• 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…

  prototypeexperimentalocaml+ 10computer-science-algorithmslogicpolymorphismcnfsuperpositionsaturationinduction+ 3

  OCaml

  •

  BSD 2-Clause "Simplified" License

  •19•155•36•1•Updated Oct 14, 2024Oct 14, 2024