coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Last call for participation: EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs

From: Frédéric Blanqui <frederic.blanqui AT inria.fr>
To: coq-club AT inria.fr
Subject: [Coq-Club] Last call for participation: EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs
Date: Wed, 31 Aug 2022 18:28:45 +0200
Authentication-results: mail3-relais-sop.national.inria.fr; dkim=none (message not signed) header.i=none; spf=SoftFail smtp.mailfrom=frederic.blanqui AT inria.fr; dmarc=fail (p=none dis=none) d=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.

[Coq-Club] Last call for participation: EuroProofNet Workshop on the development, maintenance, refactoring and search of large libraries of proofs, Frédéric Blanqui, 08/31/2022