chore: clean imports - #725

Open

felixpernegger wants to merge 7 commits into

leanprover:mainfrom

felixpernegger:reduceimports

Commits on Jul 17, 2026

.
felixpernegger
committed
4f9e2e5
sort
felixpernegger
committed
eab0bc8
init
felixpernegger
committed
7688248
fix format
felixpernegger
committed
bc93c5e
include script
felixpernegger
committed
57a406b
exclude again
felixpernegger
committed
3f41c00
.
felixpernegger
committed
9a35cbc