feat: bump to 4.30 - #141

Merged

fpvandoorn merged 16 commits into

Jun 3, 2026

Commits on Mar 11, 2026

wip: bump mathlib
grunweg
committed
44838d6
Transparency-related fixes
grunweg
committed
d3414b9
new transparency linters
grunweg
committed
a6604ee
Global/Relation: one proof got really really slow :-(
grunweg
committed
46c300f
sorry one broken proof: simp doesn't fire as well any more
grunweg
committed
fa188b5

Commits on Mar 30, 2026

Commits on Jun 1, 2026

wip: bump to 4.30; the flexible linter is the default by now
grunweg
committed
9e34620
Miscellanenous drive-by clean-ups
grunweg
committed
a7bf908
builds again, now the sorries!
grunweg
committed
b00ba00
Tweak comments in Global/Relation
grunweg
committed
7d851b6
Better
grunweg
committed
f130118
More
grunweg
committed
31cc4ea
Cleaner
grunweg
committed
0152881