Selected Tags
Click on a tag to remove itMore Tags
Click on a tag to add it and filter downTheorem Provers packages
Showing projects tagged as Theorem Provers
-
tamarin-prover
9.8 8.0 HaskellMain source code repository of the Tamarin prover for security protocol verification. -
sbv
9.6 9.4 HaskellSMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers. -
scyther-proof
7.1 0.0 IsabelleA tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols. -
atp-haskell
6.9 0.0 HaskellHaskell version of the code from "Handbook of Practical Logic and Automated Reasoning" -
structural-induction
4.2 0.0 HaskellSII: Structural Induction Instantiator over any strictly-positive algebraic data type. -
zsyntax
3.9 6.6 HaskellAutomated theorem prover for a linear logic-based calculus for molecular biology. -
haskhol-core
0.7 0.0 HaskellThe core logical system of the HaskHOL theorem prover. See haskhol.org for more details.