Haskell Logic Theorem Provers

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

Convert from Haskell to Tip

First order logic in Haskell

Experiments writing a prover

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