Skip to content

rm problematic variables under evars for evar instantiation#21180

Open
Tragicus wants to merge 5 commits into
rocq-prover:masterfrom
Tragicus:evd-inst
Open

rm problematic variables under evars for evar instantiation#21180
Tragicus wants to merge 5 commits into
rocq-prover:masterfrom
Tragicus:evd-inst

unimath overlay

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

Annotations

1 warning
Windows
succeeded Apr 27, 2026 in 35m 11s