Skip to content

Adapt to https://github.com/rocq-prover/rocq/pull/21947#162

Merged
proux01 merged 1 commit into
masterfrom
rocq21947
Apr 28, 2026
Merged

Adapt to https://github.com/rocq-prover/rocq/pull/21947#162
proux01 merged 1 commit into
masterfrom
rocq21947

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

ea9fc30
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar