Skip to content

Adapt to https://github.com/rocq-prover/rocq/pull/21851 - #48

Merged
proux01 merged 1 commit into
masterfrom
rocq21851
Apr 1, 2026
Merged

Adapt to https://github.com/rocq-prover/rocq/pull/21851#48
proux01 merged 1 commit into
masterfrom
rocq21851

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

37e6aa6
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar