Skip to content

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

2edba92
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 #998

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

Annotations

1 warning
rocq-elpi
succeeded Apr 13, 2026 in 1m 21s