Skip to content

feat(lean): optimize all Lean tools via Pantograph and LSP incremental elaboration#4

Merged
markm39 merged 6 commits into
masterfrom
worktree-refactor+lean-check-optimization
Mar 28, 2026
Merged

feat(lean): optimize all Lean tools via Pantograph and LSP incremental elaboration#4
markm39 merged 6 commits into
masterfrom
worktree-refactor+lean-check-optimization

Merge remote-tracking branch 'origin/master' into worktree-refactor+l…

e3f4975
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar