GitHub repository: meiersi/scyther-proof
Primary language: Haskell
Description: A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.