Dear all, I have the pleasure to announce the creation of a working group dedicated to proof assistants and their use at ENS de Lyon. Depending on the sessions, it will target audiences from novices to experts, and may involve different proof assistants: we will strive to tag talks with the approp…

**Physical location** Room MGN1 109 (1st floor, south wing) ENS de Lyon, site Monod 46 allée d’Italie, 69007 Lyon **Virtual location** https://webinaire.numerique.gouv.fr/meeting/signin/invite/70354/creator/23124/hash/9e2b65a304cf6bdfd368747aac76d56c5f59f630

Reminder: the second seminar is here: [image] Feb 23: Proof Assistant WG at ENS de Lyon Announcements Dear all, It is our pleasure to announce the second session of our working group dedicated to proof assistants and their use at ENS de Lyon, two weeks from no…

Reminder, the third seminar is here: [image] March 23: Proof Assistant WG at ENS de Lyon Announcements Dear all, It is our pleasure to announce the third session of our working group dedicated to proof assistants and their use at ENS de Lyon, next week from n…

New proof assistant working group at ENS de Lyon

Announcements

CohenCyril March 17, 2026, 2:25pm 4

Reminder, the third seminar is here:

Topic		Replies	Views
Feb 23: Proof Assistant WG at ENS de Lyon Announcements	1	108	March 18, 2026
March 23: Proof Assistant WG at ENS de Lyon Announcements	0	48	March 17, 2026
Coq Working Group June 2022 Developing the Rocq Prover	4	553	May 11, 2022
First Rocq'n'share meeting Announcements	0	361	April 25, 2025
Online Coq Working Group Developing the Rocq Prover	1	1057	May 5, 2020

New proof assistant working group at ENS de Lyon

Related topics