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: May 03 2024 at 08:18 UTC