Mirror: First-Order Logic Resolution Theorem Prover In Haskell.
Primary LanguageHaskell
No issues in this repository yet.