aztek / atp Star 9 Code Issues Pull requests Discussions Haskell interface to automated theorem provers haskell logic theorem-proving first-order-logic formal-methods tptp atp prover automated-theorem-provers Updated Feb 10, 2022 Haskell
aztek / tptp Star 7 Code Issues Pull requests Parser and pretty printer for the TPTP language haskell parsing logic theorem-proving haskell-library pretty-print tptp vampire parsing-library eprover automated-theorem-provers Updated Jan 4, 2022 Haskell
rdbliss / prop Star 0 Code Issues Pull requests Resolution-based theorem proving for propositional logic in Haskell haskell mathematics automated-theorem-provers Updated May 4, 2020 Haskell