Giters

meiersi / scyther-proof

A tool for the automatic generation of Isabelle/HOL correctness proofs for security protocols.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Adapt `README.md` to switch to Isabelle 2013

meiersi opened this issue · comments

commented

Done.