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