Stream: Mirror: Isabelle Users Mailing List

Topic: [isabelle] Call for participation: EuroProofNet Workshop ...

Email Gateway (Aug 04 2022 at 05:58):

From: Frédéric Blanqui <frederic.blanqui@inria.fr>
Dear all,

The program of the EuroProofNet Workshop on the development,
maintenance, refactoring and search of large libraries of proofs, 23-24
September 2022, is now online:

https://europroofnet.github.io/wg4-meeting1/

Registration is free but mandatory. To attend the workshop, physically
or online, please send me a mail.

Best regards,

Frédéric Blanqui, chair of EuroProofNet.

Last updated: Jan 04 2025 at 20:18 UTC