feat(lean): native LEAN CLI engine executor + LEAN GUI surface - #1256
Open
bishallllllll wants to merge 13 commits into
Open
feat(lean): native LEAN CLI engine executor + LEAN GUI surface#1256bishallllllll wants to merge 13 commits into
bishallllllll wants to merge 13 commits into
Commits
Commits on Aug 30, 2026
- authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted

- authored andcommitted

- committed
- committed
- committed