Bump to latest stable version Lean 4.23.0#182

Merged

Peiyang-Song merged 7 commits intomainfrom

Sep 15, 2025

Commits on Jun 6, 2025

Merge pull request #174 from lean-dojo/main
Peiyang-Song
authored

Commits on Jul 1, 2025

Merge pull request #179 from lean-dojo/main
Peiyang-Song
authored

Commits on Aug 14, 2025

Merge branch 'main' of https://github.com/lean-dojo/LeanCopilot into stable
Peiyang-Song
committed