Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] CFA International Symposium on ARC

view this post on Zulip Email Gateway (Jul 05 2022 at 20:19):

From: ARC Info UVT <teo.grumeza@gmail.com>
The international Erasmus+ European Project ARC – Automated Reasoning in the Class

Last updated: Apr 12 2026 at 02:50 UTC