Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] new in the AFP: The Verification of Cryptograp...


view this post on Zulip Email Gateway (Dec 07 2020 at 12:18):

From: Lawrence Paulson <lp15@cam.ac.uk>
I am happy to announce a new contribution to the AFP by one of our more prolific contributors, Pasquale Noce.

https://www.isa-afp.org/entries/Relational_Method.html

Larry Paulson


Last updated: Sep 25 2021 at 09:17 UTC