Skip to content

Adapt to https://github.com/rocq-prover/stdlib/pull/251

07c5da3
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Draft

Adapt to https://github.com/rocq-prover/stdlib/pull/251 #131

Adapt to https://github.com/rocq-prover/stdlib/pull/251
07c5da3
Select commit
Loading
Failed to load commit list.

Annotations

1 warning
build (mathcomp/mathcomp:2.4.0-rocq-prover-dev)
failed Apr 14, 2026 in 4m 12s