LeanDojo Versions Save

Tool for data extraction and interacting with Lean programmatically.

v1.8.2

1 month ago

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

v1.8.1

1 month ago

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

v1.8.0

1 month ago

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

v1.7.1

2 months ago

Full Changelog: https://github.com/lean-dojo/LeanDojo/compare/v1.7.0...v1.7.1

v1.7.0

2 months ago

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

v1.6.0

2 months ago

This is the last version supporting Lean 3. We will drop Lean 3 support in the next version.

What's Changed

Reduce memory usage by @yangky11 in https://github.com/lean-dojo/LeanDojo/pull/133
bump to v1.6.0 by @yangky11 in https://github.com/lean-dojo/LeanDojo/pull/135

Full Changelog: https://github.com/lean-dojo/LeanDojo/compare/v1.5.1...v1.6.0

v1.5.1

3 months ago

Full Changelog: https://github.com/lean-dojo/LeanDojo/compare/v1.5.0...v1.5.1

v1.5.0

4 months ago

What's Changed

Allow theorems to have unique ids by @albertqjiang in https://github.com/lean-dojo/LeanDojo/pull/123
Updates by @yangky11 in https://github.com/lean-dojo/LeanDojo/pull/125
fix lean 4 ast by @yangky11 in https://github.com/lean-dojo/LeanDojo/pull/126
fix Lean 4 ASTs by @yangky11 in https://github.com/lean-dojo/LeanDojo/pull/127
Remove a bug where the path gets inappropriately used for string removal by @albertqjiang in https://github.com/lean-dojo/LeanDojo/pull/128

New Contributors

@albertqjiang made their first contribution in https://github.com/lean-dojo/LeanDojo/pull/123

Full Changelog: https://github.com/lean-dojo/LeanDojo/compare/v1.4.5...v1.5.0

v1.4.5

4 months ago

What's Changed

fix type hints for TracedRepo.from_traced_files by @tonyxty in https://github.com/lean-dojo/LeanDojo/pull/117
minor updates by @yangky11 in https://github.com/lean-dojo/LeanDojo/pull/121
fix #118 by @tonyxty in https://github.com/lean-dojo/LeanDojo/pull/120
Minior bug fix by @yangky11 in https://github.com/lean-dojo/LeanDojo/pull/122

New Contributors

@tonyxty made their first contribution in https://github.com/lean-dojo/LeanDojo/pull/117

Full Changelog: https://github.com/lean-dojo/LeanDojo/compare/v1.4.4...v1.4.5

v1.4.4

5 months ago

What's Changed

fix "Unknown target Lean4Repl" by @yangky11 in https://github.com/lean-dojo/LeanDojo/pull/112
clean up network requests by @yangky11 in https://github.com/lean-dojo/LeanDojo/pull/113
bump to 1.4.4 by @yangky11 in https://github.com/lean-dojo/LeanDojo/pull/114

Full Changelog: https://github.com/lean-dojo/LeanDojo/compare/v1.4.3...v1.4.4