Skip to content

Keep work impact working beside Lean files whose names are not identifiers - #182

Merged
Deicyde merged 3 commits into
mainfrom
fix/impact-module-names
Oct 11, 2026
Merged

Keep work impact working beside Lean files whose names are not identifiers#182
Deicyde merged 3 commits into
mainfrom
fix/impact-module-names

Report an unresolvable Lean root without a traceback

4139fee
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar