Release Schedule for Rocq 9.3 - rocq-prover/rocq GitHub Wiki

RM for 9.3: Enrico Tassi

Release process issue: (https://github.com/rocq-prover/rocq/issues/22185)

• Branch creation: 2026-07-08
• 9.3+rc1: 2026-07-22
• 9.3.0: 2026-08-27