Skip to content

Drop support for Rocq 9.0#236

Merged
proux01 merged 2 commits intorocq-prover:masterfrom
proux01:drop90
Feb 14, 2026
Merged

Drop support for Rocq 9.0#236
proux01 merged 2 commits intorocq-prover:masterfrom
proux01:drop90

Commits

Commits on Feb 14, 2026