Skip to content

chore: clean imports - #725

Open
felixpernegger wants to merge 7 commits into
leanprover:mainfrom
felixpernegger:reduceimports
Open

chore: clean imports#725
felixpernegger wants to merge 7 commits into
leanprover:mainfrom
felixpernegger:reduceimports

.

9a35cbc
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
check-pr-title
succeeded Jul 17, 2026 in 3s