GitPlanet
Projects
Users
Categories
Languages
About
All Git Users
→ sneeuwballen
1 open source projects by sneeuwballen
[ Open user page on Github ]
1.
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.
✭ 46
ocaml
experimental
prototype
logic
polymorphism
1-1
of
1
user projects