Repositories list

• 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, clauses, etc.

  prototypeexperimentalcomputer-science-algorithms+ 10logicpolymorphismcnfsaturationinductionsymbolic-computationrewriting+ 3

  OCaml

  •

  BSD 2-Clause "Simplified" License

  •17•139•36•0•Updated Oct 14, 2024Oct 14, 2024

• benchpress

  Public
  Testing and benchmarking tool for logic-related programs.

  ocamltest-runnerweb-ui+ 3smtlibtptpbenchmark-scripts

  OCaml

  •

  BSD 2-Clause "Simplified" License

  •8•25•19•1•Updated Sep 13, 2024Sep 13, 2024