Intuitionistic and classical propositional logic library
propositional-logic
natural-deduction
proof-search
sequent-calculus
intuitionistic-logic
classical-logic
automated-theorem-proving
-
Updated
Jul 12, 2023 - Haskell