Rocq Call 2026 10 20 - rocq-prover/rocq GitHub Wiki

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

Topics

• [parsing] moving forward on the removal of the recovery mechanism of rocqpp (deprecation warning level-tolerance since 9.2) (Pierre, 20 min)

Roles

• Chairman:
• Secretary:
• Attending:

Notes