Skip to content

Test: evil recursors making true equalities false - #156

Merged
nomeata merged 2 commits into
leanprover:masterfrom
robsimmons:large-elim-prop-bool
Aug 25, 2026
Merged

Test: evil recursors making true equalities false#156
nomeata merged 2 commits into
leanprover:masterfrom
robsimmons:large-elim-prop-bool

file cleanup

80585a6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Select checkers
succeeded Aug 24, 2026 in 35s