Lean-dojo

Latest version: v1.9.0

Safety actively analyzes 638741 Python packages for vulnerabilities to keep your Python projects secure.

Scan your dependencies

Page 2 of 7

1.6.0

**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

1.5.1

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

1.5.0

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

1.4.5

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

1.4.4

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

1.4.3

What's Changed
* Minor fix and performance improvements by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/107
* minor fix of memory errors by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/110


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

Page 2 of 7

© 2024 Safety CLI Cybersecurity Inc. All Rights Reserved.