sneeuwballen
Results
2
repositories owned by
sneeuwballen
zipperposition
122
Stars
19
Forks
Watchers
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, claus...
benchpress
26
Stars
7
Forks
Watchers
Testing and benchmarking tool for logic-related programs.