Skip to content

Don't print term with minimized universes in Check/Eval#21949

Open
SkySkimmer wants to merge 4 commits into
rocq-prover:masterfrom
SkySkimmer:eval-noker
Open

Don't print term with minimized universes in Check/Eval#21949
SkySkimmer wants to merge 4 commits into
rocq-prover:masterfrom
SkySkimmer:eval-noker

Commits

Commits on Jun 15, 2026