Skip to content

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

9948bbb
Select commit
Loading
Failed to load commit list.
Draft

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

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

Workflow runs completed with no jobs