aztek / atp Star 10 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
jonaprieto / online-atps Star 6 Code Issues Pull requests Run ATPs from SystemOnTPTP tptp vampire atp metis theorem eprover Updated Jul 8, 2019 Haskell
aztek / voogie Star 5 Code Issues Pull requests A verification conditions generator for Boogie programs haskell verification boogie tptp vampire verification-conditions Updated Jan 31, 2020 Haskell
emptylambda / BLT Star 2 Code Issues Pull requests Boogie-less-triggers trigger blt boogie tptp verification-conditions Updated Apr 4, 2018 Haskell
aztek / tptp2smt Star 1 Code Issues Pull requests A translator from TPTP to SMT-LIB smtlib tptp smt-lib Updated May 14, 2018 Haskell
ESTEBAN557 / Teoria-de-la-Computacion Star 0 Code Issues Pull requests Coursework and projects for Theory of Computation: lambda calculus, formal verification, theorem proving, and logic. computer-science haskell university logic theorem-proving coursework formal-methods tptp theory-of-computation frama-c Updated Apr 21, 2026 Haskell