A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool
meiersi opened this issue 12 years ago · comments
Done.