Lean-dojo

What's Changed
* Fix typo in notebook by pitmonticone in https://github.com/lean-dojo/LeanDojo/pull/162
* Update README.md by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/163
* V1.9.0 by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/166
* fix the bug related to relative paths by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/167


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

**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