Selected Tags

Click on a tag to remove it

Logic packages

Showing projects tagged as Theorem Provers and Logic

  • tamarin-prover

    9.8 8.2 Haskell
    Main source code repository of the Tamarin prover for security protocol verification.
  • toysolver

    9.3 8.5 Haskell
    My sandbox for experimenting with solver algorithms.
  • tip-haskell-frontend

    7.6 0.0 Haskell
    Convert from Haskell to Tip
  • atp-haskell

    7.0 0.0 Haskell
    Haskell version of the code from "Handbook of Practical Logic and Automated Reasoning"
  • logic-classes

    6.0 0.0 Haskell
    Framework for propositional and first order logic, theorem proving
  • Folly

    5.0 0.0 Haskell
    First order logic in Haskell
  • structural-induction

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

    3.5 0.0 Haskell
    Automated theorem prover for a linear logic-based calculus for molecular biology.
  • qed

    2.7 0.0 Haskell
    Experiments writing a prover
  • haskhol-core

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