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

RM for 9.0: Gaëtan Gilbert

Release process issue: TODO

Tentative schedule

  • Branch creation: June 2025
  • 9.1+rc1: ??
  • 9.1.0: ??