v1.4.3

What's Changed

• Minor fix and performance improvements by @yangky11 in #107
• minor fix of memory errors by @yangky11 in #110

Full Changelog: v1.4.2...v1.4.3

v1.4.2

What's Changed

• speed up url_to_repo by @yangky11 in #102
• minor fix by @yangky11 in #103
• Avoid repeatedly downloading the same file by @darabos in #104
• minor fix by @yangky11 in #105
• bump by @yangky11 in #106

New Contributors

• @darabos made their first contribution in #104

Full Changelog: v1.4.1...v1.4.2

v1.4.1

What's Changed

• Support Lean's new directory structures by @yangky11 in #101

Full Changelog: v1.4.0...v1.4.1

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

v1.4.0

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 #85
• Collets level params in more cases by @josojo in #86
• Update getting-started.rst by @yangky11 in #88
• Fix Lean 4 premise bugs and other improvements by @yangky11 in #90
• Do not list the theorem itself as premise by @josojo in #92
• Remove support for extracting data from the Lean 4 repo itself by @yangky11 in #95
• minor change by @yangky11 in #96
• update docs by @yangky11 in #97

Full Changelog: v1.3.0...v1.4.0

v1.3.0

What's Changed

• Update dataset stats by @yangky11 in #73
• fix minor bugs and make without docker the default setting by @yangky11 in #74
• no utf surrogate in json.dump by @josojo in #75
• Fix UTF by @yangky11 in #76
• remove assertion by @yangky11 in #77
• minor fix by @yangky11 in #79
• update by @yangky11 in #80
• minor fix by @yangky11 in #81
• update links by @yangky11 in #82
• update stats by @yangky11 in #83
• update by @yangky11 in #84

Full Changelog: v1.2.6...v1.3.0

v1.2.6

What's Changed

• Fix missing premises by @yangky11 in #72

Full Changelog: v1.2.5...v1.2.6

v1.2.5

What's Changed

• Using dotenv to load env variables by @josojo in #53
• Add dotenv by @yangky11 in #55
• fixing pylance errors: dojo.py by @josojo in #57
• fix introduced import bug by @josojo in #58
• fixing pylance errors: lean.py by @josojo in #56
• Adding typechecks to CI for some files by @josojo in #59
• Typechecking improvements by @yangky11 in #62
• Faster recursive loading of indexed content by @josojo in #61
• Update README.md by @yangky11 in #66
• Update index.rst by @yangky11 in #67
• Faster repo loading by @yangky11 in #63

New Contributors

• @josojo made their first contribution in #53

Full Changelog: v1.2.4...v1.2.5

v1.2.4

What's Changed

• Fix minor bugs by @yangky11 in #52

Full Changelog: v1.2.3...v1.2.4

v1.2.3

What's Changed

• Update pyproject.toml by @yangky11 in #43
• Update README.md by @yangky11 in #44
• Update getting-started.rst by @yangky11 in #45
• Update pyproject.toml by @yangky11 in #46
• Update README.md by @yangky11 in #47
• Update getting-started.rst by @yangky11 in #48

Full Changelog: v1.2.2...v1.2.3

v1.2.2

What's Changed

• Add checks to prevent silent OOM errors in #41
• Check the Git version and raise an error eagerly if it's too old
• Clean docstrings by @pitmonticone in #42

Full Changelog: v1.2.1...v1.2.2