The international Erasmus+ European Project ARC – Automated Reasoning in the Class -------------- next part -------------- An HTML attachment was scrubbed... URL: <http://mailman.openmath.org/pipermail/om-announce/attachments/20220703/2337f86e/attachment-0001.htm>