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 Theorem Provers

  • tamarin-prover

    9.8 0.0 Haskell
    Main source code repository of the Tamarin prover for security protocol verification.

  • sbv

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

  • what4

    9.4 0.0 Haskell
    Symbolic formula representation and solver interaction library

  • toysolver

    9.3 0.0 Haskell
    My sandbox for experimenting with solver algorithms.

  • hz3

    9.1 0.0 Haskell
    Haskell bindings to Microsoft's Z3 API (unofficial).

  • sbvPlugin

    8.1 0.0 Haskell
    Formally prove properties of Haskell programs using SBV/SMT.

  • twee-lib

    8.0 0.0 Haskell
    An equational theorem prover based on Knuth-Bendix completion

  • tip-haskell-frontend

    7.5 0.0 Haskell
    Convert from Haskell to Tip

  • scyther-proof

    6.9 0.0 Isabelle
    A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.

  • atp-haskell

    6.8 0.0 Haskell
    Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"

  • smtlib2

    6.6 0.0 Haskell
    SMTLib2 interface implementation for Haskell

  • logic-classes

    5.9 0.0 Haskell
    Framework for propositional and first order logic, theorem proving

  • Folly

    5.5 0.0 Haskell
    First order logic in Haskell

  • theoremquest

    5.1 0.0 Haskell
    A common library for TheoremQuest, a theorem proving game.

  • logic-TPTP

    4.5 0.0 Haskell
    Import, export etc. for TPTP, a syntax for first-order logic

  • structural-induction

    4.5 0.0 Haskell
    SII: Structural Induction Instantiator over any strictly-positive algebraic data type.

  • tptp

    4.5 0.0 Haskell
    Parser and pretty printer for the TPTP language

  • qed

    3.8 0.0 Haskell
    Experiments writing a prover

  • zsyntax

    3.8 0.0 Haskell
    Automated theorem prover for a linear logic-based calculus for molecular biology.

  • haskhol-core

    0.7 0.0 Haskell
    The core logical system of the HaskHOL theorem prover. See haskhol.org for more details.