Skip to content

refactor: use parser restarting API instead of whitespace padding - #750

Draft
ejgallego wants to merge 4 commits into
leanprover:mainfrom
ejgallego:parse_start
Draft

refactor: use parser restarting API instead of whitespace padding#750
ejgallego wants to merge 4 commits into
leanprover:mainfrom
ejgallego:parse_start

fix for VersoManual.imports

6591354
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
Check copyright header and Lean import size
succeeded Jun 13, 2026 in 5s