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

Commits

Commits on Feb 20, 2026