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: Oct 29 2026 at 04:52 UTC