[Agda] Call for participation: EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs

[Frédéric Blanqui]

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.