Skip to content

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

334ec6e
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 #712

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

Annotations

1 warning
rocq-core
succeeded Apr 13, 2026 in 1m 2s