Lean-dojo

**Full Changelog**: https://github.com/lean-dojo/LeanDojo/compare/v1.8.1...v1.8.2

What's Changed
* Update getting-started.rst by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/155
* Update README.md by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/156
* Update getting-started.rst by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/157


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

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

**This is the last version supporting Lean 3. We will drop Lean 3 support in the next version.**

What's Changed
* Reduce memory usage by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/133
* bump to v1.6.0 by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/135


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