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

Improve boxing when printing univ instances

0831726
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
Windows
succeeded Jun 16, 2026 in 35m 25s