Haskell Logic Theorem Provers packages

• « All Tags

Selected Tags

• Logic
• Theorem Provers

Theorem Provers packages

Showing projects tagged as Logic and Theorem Provers

• tamarin-prover

  9.8 3.4 Haskell

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

• toysolver

  9.3 0.0 Haskell

  My sandbox for experimenting with solver algorithms.

• tip-haskell-frontend

  7.5 0.0 Haskell

  Convert from Haskell to Tip
  

• atp-haskell

  6.6 0.0 Haskell

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

• logic-classes

  5.7 0.0 Haskell

  Framework for propositional and first order logic, theorem proving
  

• Folly

  5.6 0.0 Haskell

  First order logic in Haskell

• zsyntax

  3.9 0.0 Haskell

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

• structural-induction

  3.9 0.0 Haskell

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

• qed

  3.9 0.0 Haskell

  Experiments writing a prover

• haskhol-core

  0.8 0.0 Haskell

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