Event about the use of proof assistants for teaching in Orsay

Announcements
2

How unfortunate that this is at the same dates as Rocq’n’share! Unfortunately, this may make the Rocq community a bit less represented than it should have been at this event.