What's Changed
* Update pyproject.toml by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/43
* Update README.md by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/44
* Update getting-started.rst by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/45
* Update pyproject.toml by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/46
* Update README.md by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/47
* Update getting-started.rst by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/48
**Full Changelog**: https://github.com/lean-dojo/LeanDojo/compare/v1.2.2...v1.2.3