Skip to content

Report errors in import statements - #141

Open
Kripner wants to merge 1 commit into
leanprover-community:masterfrom
Kripner:public
Open

Report errors in import statements#141
Kripner wants to merge 1 commit into
leanprover-community:masterfrom
Kripner:public

Commits

Commits on Dec 17, 2025