Skip to content
@sneeuwballen

sneeuwballen

Popular repositories Loading

  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 26 7

Repositories

Showing 2 of 2 repositories
  • 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.

    sneeuwballen/zipperposition’s past year of commit activity
    OCaml 122 BSD-2-Clause 19 36 (2 issues need help) 0 Updated Jun 20, 2024
  • benchpress Public

    Testing and benchmarking tool for logic-related programs.

    sneeuwballen/benchpress’s past year of commit activity
    OCaml 26 BSD-2-Clause 7 19 (5 issues need help) 1 Updated May 24, 2024

Top languages

Loading…

Most used topics

Loading…