Back to milestones

9.3.0

Open

Overdue by 2 day(s)

•

Due by July 30, 2026

•Last updated Jul 30, 2026

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

66% complete

Select all issues: List view

-package delay resolving until -I have been processed

rocq-prover/rocq

#22259

· SkySkimmer opened

on Jul 10, 2026

Don't warn about non-boolean if syntax for sumbool or sumor

kind: user messages

rocq-prover/rocq

#22326

· proux01 opened

on Jul 30, 2026