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

tamarinprover
9.8 7.8 HaskellMain source code repository of the Tamarin prover for security protocol verification. 
sbv
9.5 7.7 HaskellSMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers. 
scytherproof
6.8 0.0 IsabelleA tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols. 
atphaskell
6.8 0.0 HaskellHaskell version of the code from "Handbook of Practical Logic and Automated Reasoning" 
structuralinduction
4.5 0.0 HaskellSII: Structural Induction Instantiator over any strictlypositive algebraic data type. 
zsyntax
4.0 0.0 HaskellAutomated theorem prover for a linear logicbased calculus for molecular biology. 
haskholcore
0.8 0.0 HaskellThe core logical system of the HaskHOL theorem prover. See haskhol.org for more details.