meiersi/scyther-proof
A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
IsabelleGPL-3.0
Stargazers
- AleXoundOSTbilisi, Georgia
- c6ai
- cascremers
- entaopyEntaopy Academy
- hai-nguyen-van@oneweb-net
- hannesm@robur-coop
- jevinskieLafayette, Indiana
- kiniry@FreeAndFair @GaloisInc
- mad-io
- meiersi@digital-asset
- sheganinansData Scientist & Language Architect
- shipeng331
- shuwensNortheastern University
- unsoundsystemJapan
- verybusybusiness