First-Order Logic library with built-in Theories
Primary LanguageOCaml
No issues in this repository yet.