Selected Tags

Click on a tag to remove it

More Tags

Click on a tag to add it and filter down

Theorem Provers packages

Showing projects tagged as Math and Theorem Provers

  • sbv

    9.6 9.3 Haskell
    SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
  • what4

    9.4 6.9 Haskell
    Symbolic formula representation and solver interaction library
  • hz3

    9.1 1.3 Haskell
    Haskell bindings to Microsoft's Z3 API (unofficial).
  • sbvPlugin

    8.2 6.3 Haskell
    Formally prove properties of Haskell programs using SBV/SMT.
  • smtlib2

    6.7 0.0 Haskell
    SMTLib2 interface implementation for Haskell
  • theoremquest

    4.8 0.0 Haskell
    A common library for TheoremQuest, a theorem proving game.
  • tptp

    4.4 0.0 Haskell
    Parser and pretty printer for the TPTP language
  • logic-TPTP

    4.4 4.0 Haskell
    Import, export etc. for TPTP, a syntax for first-order logic