Skip to content

Fix test following https://github.com/rocq-prover/stdlib/pull/254 - #255

Merged
proux01 merged 1 commit into
rocq-prover:masterfrom
proux01:fix-test
Apr 2, 2026
Merged

Fix test following https://github.com/rocq-prover/stdlib/pull/254#255
proux01 merged 1 commit into
rocq-prover:masterfrom
proux01:fix-test

Commits

Commits on Apr 2, 2026