v4.20.0

What's Changed

• Check proof by @yangky11 in #222
• Allow arbitrary python 3.12 versions by @sorgfresser in #236
• Add build_deps option to dojo (enables caching with Dojo) by @jsimonrichard in #226
• Fix toml parsing by @sorgfresser in #238
• Bugfixes by @yangky11 in #240
• trace: show ExtractData build errors by @rbtz-openai in #241
• bump to v4.20.0 by @yangky11 in #243
• v4.20.0 by @yangky11 in #244

New Contributors

• @sorgfresser made their first contribution in #236
• @jsimonrichard made their first contribution in #226
• @rbtz-openai made their first contribution in #241

Full Changelog: v2.2.0...v4.20.0

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