Adapt to Coq PR #19404: an algebra of types for the instances of notation variables#19
Open
herbelin wants to merge 1 commit intouds-psl:masterfrom herbelin:master+adapt-coq-pr19404-general-recursive-notations
+2-2
Commits
Commits on Jul 20, 2024
- committed
