Rocq Call 2026 06 02 - rocq-prover/rocq GitHub Wiki

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

Topics

• Requiring a dune version with rocq.theory support (#21660, Rodolphe, 5min)

Roles

• Chairman:
• Secretary:
• Attending:

Notes