Lean-dojo

What's Changed
* Fix missing premises by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/72


**Full Changelog**: https://github.com/lean-dojo/LeanDojo/compare/v1.2.5...v1.2.6

What's Changed
* Using dotenv to load env variables by josojo in https://github.com/lean-dojo/LeanDojo/pull/53
* Add dotenv by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/55
* fixing pylance errors: dojo.py by josojo in https://github.com/lean-dojo/LeanDojo/pull/57
* fix introduced import bug by josojo in https://github.com/lean-dojo/LeanDojo/pull/58
* fixing pylance errors: lean.py by josojo in https://github.com/lean-dojo/LeanDojo/pull/56
* Adding typechecks to CI for some files by josojo in https://github.com/lean-dojo/LeanDojo/pull/59
* Typechecking improvements by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/62
* Faster recursive loading of indexed content by josojo in https://github.com/lean-dojo/LeanDojo/pull/61
* Update README.md by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/66
* Update index.rst by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/67
* Faster repo loading by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/63

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

**Full Changelog**: https://github.com/lean-dojo/LeanDojo/compare/v1.2.4...v1.2.5

What's Changed
* Fix minor bugs by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/52


**Full Changelog**: https://github.com/lean-dojo/LeanDojo/compare/v1.2.3...v1.2.4

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

What's Changed
* Bump Lean to v4.8.0-rc2 by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/73
* Fix lake monad bug by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/74


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

What's Changed
* Bump CI from Node 16 to Node 20 by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/65
* fix: coe string -> name removed, explicitly call String.toName by alok in https://github.com/lean-dojo/LeanCopilot/pull/67
* Support Lean v4.8.0-rc1 by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/70
* Update demo by Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/71

New Contributors
* alok made their first contribution in https://github.com/lean-dojo/LeanCopilot/pull/67

**Full Changelog**: https://github.com/lean-dojo/LeanCopilot/compare/v1.2.0...v1.2.1