Skip to content

Adapt to Coq PR #19404: an algebra of types for the instances of notation variables#673

Open
herbelin wants to merge 1 commit intoLPCIC:masterfrom
herbelin:coq-master+adapt-coq-pr19404-general-recursive-notations
Open

Adapt to Coq PR #19404: an algebra of types for the instances of notation variables#673
herbelin wants to merge 1 commit intoLPCIC:masterfrom
herbelin:coq-master+adapt-coq-pr19404-general-recursive-notations

Commits

Commits on Jul 20, 2024