Milestones

List view

• 9.4+rc1

  No due date

  •41/55 issues closed
  74% complete14 open41 closed

• 9.3.0

  @coqbot: backport to v9.3 (move rejected PRs to: https://github.com/rocq-prover/rocq/milestone/73)

  Overdue by 25 day(s)

  •

  Due by July 30, 2026

  •18/19 issues closed
  94% complete1 open18 closed

• 9.2.1

  @coqbot: backport to v9.2 (move rejected PRs to: https://github.com/coq/coq/milestone/69); backport to v9.3 (move rejected PRs to: https://github.com/coq/coq/milestone/73)

  No due date

  •46/51 issues closed
  90% complete5 open46 closed