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.1 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.6 0.0 Haskell

  Convert from Haskell to Tip
  

• atp-haskell

  6.7 0.0 Haskell

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

• logic-classes

  5.8 0.0 Haskell

  Framework for propositional and first order logic, theorem proving
  

• Folly

  5.7 0.0 Haskell

  First order logic in Haskell

• structural-induction

  4.5 0.0 Haskell

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

• zsyntax

  4.0 0.0 Haskell

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

• qed

  3.2 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.