Skip to content

Adapt to coq/coq#18327 (projection opacity)#15

Merged
SkySkimmer merged 1 commit intocoq-community:masterfrom rlepigre:br/fix-18281Jan 24, 2024

Commits

Commits on Dec 14, 2023