Skip to content

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

a5807e7
Select commit
Loading
Failed to load commit list.
Merged

Adapt to https://github.com/rocq-prover/rocq/pull/21611 #51

Adapt to https://github.com/rocq-prover/rocq/pull/21611
a5807e7
Select commit
Loading
Failed to load commit list.