Skip to content

Remove 2.4.0-rocq-prover-dev and 2.5.0-rocq-prover-dev#40

Merged
proux01 merged 1 commit intomasterfrom
2.4.0-rocq-prover-dev
Feb 26, 2026
Merged

Remove 2.4.0-rocq-prover-dev and 2.5.0-rocq-prover-dev#40
proux01 merged 1 commit intomasterfrom
2.4.0-rocq-prover-dev

Commits

Commits on Feb 25, 2026