Rocq Call 2026 05 26 - 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

• section variables bugfixes and redesign (https://github.com/rocq-prover/rocq/pull/21987, https://github.com/rocq-prover/rfcs/pull/51) (Gaëtan, 20min)

Roles

• Chairman:
• Secretary:
• Attending: Enrico, Guillaume, Gaetan, Matthieu, Hugo, Yann

Notes

Decision: proceed with the PR, as it is desirable and should not hinder any later move toward the RFC