Skip to content

feat(lean): native LEAN CLI engine executor + LEAN GUI surface - #1256

Open
bishallllllll wants to merge 13 commits into
TraderAlice:devfrom
bishallllllll:feat/lean-integration
Open

feat(lean): native LEAN CLI engine executor + LEAN GUI surface#1256
bishallllllll wants to merge 13 commits into
TraderAlice:devfrom
bishallllllll:feat/lean-integration

Commits

Commits on Aug 30, 2026