Rocq Call YEAR MM DD - rocq-prover/rocq GitHub Wiki

• 16:00 UTC+2:00 (CET, Paris time zone offset) (if we forget to update this when daylight savings changes, 16:00 Paris time is the correct one)
• https://rendez-vous.renater.fr/rocq-call

Topics

Roles

• Chairman:
• Secretary:
• Attending:

Notes