Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Invitation to attend the Summer Schools in Log...

view this post on Zulip Email Gateway (Aug 18 2022 at 12:28):

From: Alwen Tiu <Alwen.Tiu@rsise.anu.edu.au>
[Apologies for cross posting.]

Last updated: Feb 15 2026 at 05:19 UTC