Skip to content

Adapt to coq/coq#20150 (more aggressive minimization)#126

Draft
SkySkimmer wants to merge 1 commit intomit-plv:masterfrom SkySkimmer:clean-univ-set

Commits

Commits on Jan 29, 2025