ColemanGariety / derivation-machineLinks

Propositional calculus in Haskell
11Updated 8 years ago

Alternatives and similar repositories for derivation-machine

Users that are interested in derivation-machine are comparing it to the libraries listed below

Sorting: