Rocq Call 2025 11 18 - rocq-prover/rocq GitHub Wiki

• 16:00 UTC+1:00 (CET, Paris time zone offset) (beware of recent daylight saving change)
• https://rendez-vous.renater.fr/rocq-call

Topics

• 9.2 planning

Roles

• Chairman:
• Secretary:
• Attending:

Notes

Nicolas RM for 9.2 (with Gaëtan as co-RM). Freeze probably for christmas.