Lean-dojo

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

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

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

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

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

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