List view

• 9.4+rc1

  No due date

  •12/25 issues closed
  48% complete13 open12 closed

• 9.3.0

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

  Due by July 30, 2026

  •1/2 issues closed
  50% complete1 open1 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

  •34/34 issues closed
  100% complete0 open34 closed