Lean-dojo

What's Changed
* Tiny change to support Python 3.11 by fzyzcjy in https://github.com/lean-dojo/LeanDojo/pull/147
* Other updates and bug fixes.

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

**Full Changelog**: https://github.com/lean-dojo/LeanDojo/compare/v1.7.1...v1.8.0

**Full Changelog**: https://github.com/lean-dojo/LeanDojo/compare/v1.7.0...v1.7.1

**We dropped Lean 3 support starting from this version.**

What's Changed
* v1.7.0 by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/143
* [WIP] Bump with Lean v4.6.0-rc1 by Peiyang-Song in https://github.com/lean-dojo/LeanDojo/pull/134


**Full Changelog**: https://github.com/lean-dojo/LeanDojo/compare/v1.6.0...v1.7.0

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


**Full Changelog**: https://github.com/lean-dojo/LeanCopilot/compare/v1.5.3...v1.6.0

What's Changed
* Bump to Lean v4.11.0-rc3 with dependencies by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/121
* Support external models by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/122


**Full Changelog**: https://github.com/lean-dojo/LeanCopilot/compare/v1.5.2...v1.5.3

What's Changed
* Add model manual download instructions by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/118
* Fix CI by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/119
* Bump to Lean v4.11.0-rc2 with dependencies by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/120


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