This page lists upcoming meetups, retreats, and conferences that are of interest to Rocq users.
Add an Event
[online]
Rocq Weekly Call
online, France
https://github.com/rocq-prover/rocq/wiki/Rocq-Calls
