Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Invitation to celebrate the World Logic Day di...

view this post on Zulip Email Gateway (Dec 11 2020 at 09:24):

From: "Rozman, Mihaela" <mihaela.rozman@tuwien.ac.at>
Dear colleagues, dear friends of logic,

Last updated: Jan 11 2026 at 16:28 UTC