Haskell Theorem Provers Logic packages

• « All Tags

Selected Tags

• Theorem Provers
• Logic

Logic packages

Showing projects tagged as Theorem Provers and Logic

• tamarin-prover

  9.8 7.8 Haskell

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

• toysolver

  9.3 4.1 Haskell

  My sandbox for experimenting with solver algorithms.

• tip-haskell-frontend

  7.5 7.5 Haskell

  Convert from Haskell to Tip
  

• atp-haskell

  6.9 0.0 Haskell

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

• logic-classes

  5.9 0.0 Haskell

  Framework for propositional and first order logic, theorem proving
  

• Folly

  5.3 0.0 Haskell

  First order logic in Haskell

• structural-induction

  4.1 0.0 Haskell

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

• zsyntax

  3.9 6.6 Haskell

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

• qed

  3.4 0.0 Haskell

  Experiments writing a prover

• haskhol-core

  0.6 0.0 Haskell

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