Announcing Isabelle support for SAW (via olliej) — discussion

#cryptography #formalmethods