Lean-dojo

**Full Changelog**: https://github.com/lean-dojo/LeanDojo/compare/v2.1.3...v2.2.0

What's Changed
* (minor edit) Specifying get_premise_definitions premise locations by realharryhero in https://github.com/lean-dojo/LeanDojo/pull/205

New Contributors
* realharryhero made their first contribution in https://github.com/lean-dojo/LeanDojo/pull/205

**Full Changelog**: https://github.com/lean-dojo/LeanDojo/compare/v2.1.2...v2.1.3

What's Changed
* fix minor bug by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/197
* minor bugfix by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/198


**Full Changelog**: https://github.com/lean-dojo/LeanDojo/compare/v2.1.1...v2.1.2

What's Changed
* fix minor bugs by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/195


**Full Changelog**: https://github.com/lean-dojo/LeanDojo/compare/v2.1.0...v2.1.1

What's Changed
* Fix git method & add more tests by RexWzh in https://github.com/lean-dojo/LeanDojo/pull/188
* Add Support for Local and Remote Repositories by RexWzh in https://github.com/lean-dojo/LeanDojo/pull/179
* Incorporate Recent Commits by yangky11 in https://github.com/lean-dojo/LeanDojo/pull/192

New Contributors
* RexWzh made their first contribution in https://github.com/lean-dojo/LeanDojo/pull/188

**Full Changelog**: https://github.com/lean-dojo/LeanDojo/compare/v2.0.3...v2.1.0

**Full Changelog**: https://github.com/lean-dojo/LeanDojo/compare/v2.0.2...v2.0.3