Adapt to Coq PR #19404: an algebra of types for the instances of notation variables#810
Open
herbelin wants to merge 1 commit intoejgallego:mainfrom herbelin:main+adapt-coq-pr19404-general-recursive-notations
+16-6
Commits
Commits on Jul 21, 2024
- committed
