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: Jul 15 2022 at 23:21 UTC