Lean-dojo

What's Changed
* Bump to Lean v4.10.0-rc1 by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/94
* minor fix for doc format in premise selection by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/95


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

What's Changed
* Fix minor bug: tokenizer typo in models.py by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/92
* Bump to Lean v4.9.0 by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/93


**Full Changelog**: https://github.com/lean-dojo/LeanCopilot/compare/v1.3.3...v1.4.0

What's Changed
* Bump to Lean v4.9.0-rc3 with dependencies by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/89


**Full Changelog**: https://github.com/lean-dojo/LeanCopilot/compare/v1.3.2...v1.3.3

What's Changed
* Bump to Lean v4.9.0-rc2 with dependencies by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/88


**Full Changelog**: https://github.com/lean-dojo/LeanCopilot/compare/v1.3.1...v1.3.2

What's Changed
* Bump to Lean v4.9.0-rc1 with dependencies by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/87


**Full Changelog**: https://github.com/lean-dojo/LeanCopilot/compare/v1.3.0...v1.3.1

What's Changed
* Update aesop to fix script format bug by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/79
* Fix CI bug by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/81
* Update readme & examples by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/82
* Bump with Lean v4.8.0 by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/86


**Full Changelog**: https://github.com/lean-dojo/LeanCopilot/compare/v1.2.2...v1.3.0