v2.2.0

Full Changelog: v2.1.3...v2.2.0

v2.1.3

What's Changed

• (minor edit) Specifying get_premise_definitions premise locations by @realharryhero in #205

New Contributors

• @realharryhero made their first contribution in #205

Full Changelog: v2.1.2...v2.1.3

v2.1.2

What's Changed

• fix minor bug by @yangky11 in #197
• minor bugfix by @yangky11 in #198

Full Changelog: v2.1.1...v2.1.2

v2.1.1

What's Changed

• fix minor bugs by @yangky11 in #195

Full Changelog: v2.1.0...v2.1.1

v2.1.0

What's Changed

• Fix git method & add more tests by @RexWzh in #188
• Add Support for Local and Remote Repositories by @RexWzh in #179
• Incorporate Recent Commits by @yangky11 in #192

New Contributors

• @RexWzh made their first contribution in #188

Full Changelog: v2.0.3...v2.1.0

v2.0.3

Full Changelog: v2.0.2...v2.0.3

v2.0.1

What's Changed

• minor change in tests by @yangky11 in #181

Full Changelog: v2.0.1...v2.0.2

v2.0.1

What's Changed

• Minor fix to remove CI node warning by @Peiyang-Song in #178
• Use pexpect instead of signal in dojo.py by @yangky11 in #180

Full Changelog: v2.0.0...v2.0.1

v2.0.0

Significantly improved initialization speed when interacting with Lean4.

Please delete the LeanDojo cache (rm -rf ~/.cache/lean_dojo) after upgrading to v2.0.0

What's Changed

• Ignore rmtree Errors by @yangky11 in #173
• Fix a minor bug in AST formats by @yangky11 in #174
• Reduce the Initialization Time When Interacting with Lean by @yangky11 in #175
• fix warnings in docs by @yangky11 in #176

Full Changelog: v1.9.0...v2.0.0

v1.9.0

What's Changed

• Fix typo in notebook by @pitmonticone in #162
• Update README.md by @yangky11 in #163
• V1.9.0 by @yangky11 in #166
• fix the bug related to relative paths by @yangky11 in #167

Full Changelog: v1.8.2...v1.9.0