/sequent-calculus-theorem-prover

A propositional logic theorem prover using sequent calculus with implementations in Haskell and OCaml

Primary LanguageOCaml

Watchers