Skip to content

fix: better defeq error messages - #14537

Merged
datokrat merged 10 commits into
leanprover:masterfrom
datokrat:defeq-errors
Sep 21, 2026
Merged

datokrat merged 10 commits into
leanprover:masterfrom
datokrat:defeq-errors

ofLazyM comment

ce9b83c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-stdlib-flags
succeeded Sep 17, 2026 in 4s