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 <>
I am happy to announce a new contribution to the AFP by one of our more prolific contributors, Pasquale Noce.

Larry Paulson

Last updated: Sep 25 2021 at 09:17 UTC