Lean-dojo

What's Changed
* speed up url_to_repo by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/102
* minor fix by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/103
* Avoid repeatedly downloading the same file by darabos in https://github.com/lean-dojo/LeanDojo/pull/104
* minor fix by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/105
* bump by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/106

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

**Full Changelog**: https://github.com/lean-dojo/LeanDojo/compare/v1.4.1...v1.4.2

What's Changed
* Support Lean's new directory structures by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/101


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

Please upgrade if you want to use LeanDojo with recent Lean 4 (>= `v4.3.0-rc2`).

Fixed bugs in extracting Lean 4 premises and updated the data on Zenodo: https://zenodo.org/records/10114185. All users please upgrade to the latest version.

What's Changed
* Update README.md by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/85
* Collets level params in more cases by josojo in https://github.com/lean-dojo/LeanDojo/pull/86
* Update getting-started.rst by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/88
* Fix Lean 4 premise bugs and other improvements by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/90
* Do not list the theorem itself as premise by josojo in https://github.com/lean-dojo/LeanDojo/pull/92
* Remove support for extracting data from the Lean 4 repo itself by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/95
* minor change by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/96
* update docs by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/97


**Full Changelog**: https://github.com/lean-dojo/LeanDojo/compare/v1.3.0...v1.4.0

What's Changed
* Update dataset stats by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/73
* fix minor bugs and make without docker the default setting by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/74
* no utf surrogate in json.dump by josojo in https://github.com/lean-dojo/LeanDojo/pull/75
* Fix UTF by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/76
* remove assertion by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/77
* minor fix by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/79
* update by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/80
* minor fix by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/81
* update links by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/82
* update stats by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/83
* update by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/84


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

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