Explore @sneeuwballen Open Source projects

@sneeuwballen

sneeuwballen

Stars
142
Global Org. Rank 48,517 (Top 16 %)
Registered over 5 years ago
Most used languages

OCaml
100.0 %

zipperposition

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.

benchpress

Testing and benchmarking tool for logic-related programs.