Lean-dojo

What's Changed
* Fix string UTF-8 misformatting PANIC by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/114
* Bump to Lean v4.11.0-rc1 by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/116

Note
This version has a known issue that the Lean server occasionally fails on certain hardware architectures. This issue stems from the new version of Lean4 itself, and disappears in the next pre-release of Lean4 (Lean v4.11.0-rc2), which corresponds to Lean Copilot v1.5.2. Thus the issue should only appear in this release.


**Full Changelog**: https://github.com/lean-dojo/LeanCopilot/compare/v1.5.0...v1.5.1

What's Changed
* Bump to Lean v4.10.0 by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/112


**Full Changelog**: https://github.com/lean-dojo/LeanCopilot/compare/v1.4.2...v1.5.0

What's Changed
* fix type hints for `TracedRepo.from_traced_files` by tonyxty in https://github.com/lean-dojo/LeanDojo/pull/117
* minor updates by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/121
* fix 118 by tonyxty in https://github.com/lean-dojo/LeanDojo/pull/120
* Minior bug fix by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/122

New Contributors
* tonyxty made their first contribution in https://github.com/lean-dojo/LeanDojo/pull/117

**Full Changelog**: https://github.com/lean-dojo/LeanDojo/compare/v1.4.4...v1.4.5

What's Changed
* fix "Unknown target Lean4Repl" by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/112
* clean up network requests by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/113
* bump to 1.4.4 by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/114


**Full Changelog**: https://github.com/lean-dojo/LeanDojo/compare/v1.4.3...v1.4.4

What's Changed
* Minor fix and performance improvements by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/107
* minor fix of memory errors by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/110


**Full Changelog**: https://github.com/lean-dojo/LeanDojo/compare/v1.4.2...v1.4.3

What's Changed
* Incorporate recent commits by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/107
* FIX: Build succeeds and features succeed without lean server crash by Adarsh321123 in https://github.com/lean-dojo/LeanCopilot/pull/106
* Fix CMake flags by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/109
* Bump to Lean v4.10.0-rc2 by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/110

New Contributors
* Adarsh321123 made their first contribution in https://github.com/lean-dojo/LeanCopilot/pull/106

**Full Changelog**: https://github.com/lean-dojo/LeanCopilot/compare/v1.4.1...v1.4.2