Rocq Call 2026 04 21 - rocq-prover/rocq GitHub Wiki

• 16:00 UTC+2:00 (CEST, Paris time zone offset)
• https://rendez-vous.renater.fr/rocq-call

Topics

• https://github.com/rocq-prover/rocq/pull/21851 (Pierre, 15 minutes)

Roles

• Chairman:
• Secretary:

Notes

• close https://github.com/rocq-prover/rocq/pull/21851 and keep the deprecations for the foreseeable future
• many projects in CI seem to not receive anything but overlays from Rocq developers, perform an inventory of the CI projects and points of contact (c.f. https://github.com/rocq-prover/rocq/issues/21938 )