Skip to content

Adapt to rocq-prover/rocq#20911 (Notation.prim_token_uid is private)#102

Merged
proux01 merged 1 commit into
rocq-community:masterfrom
SkySkimmer:notation-uid
Jul 17, 2025
Merged

Adapt to rocq-prover/rocq#20911 (Notation.prim_token_uid is private)#102
proux01 merged 1 commit into
rocq-community:masterfrom
SkySkimmer:notation-uid

Adapt to rocq-prover/rocq#20911 (Notation.prim_token_uid is private)

d6f8e6e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

The logs for this run have expired and are no longer available.