Skip to content

Handle new Rocq 9.2 warnings#235

Merged
proux01 merged 3 commits intorocq-prover:masterfrom
proux01:warning-92
Feb 14, 2026
Merged

Handle new Rocq 9.2 warnings#235
proux01 merged 3 commits intorocq-prover:masterfrom
proux01:warning-92

Commits

Commits on Feb 14, 2026