v1.8.2

Full Changelog: v1.8.1...v1.8.2

v1.8.1

What's Changed

• Update getting-started.rst by @yangky11 in #155
• Update README.md by @yangky11 in #156
• Update getting-started.rst by @yangky11 in #157

Full Changelog: v1.8.0...v1.8.1

v1.8.0

What's Changed

• Tiny change to support Python 3.11 by @fzyzcjy in #147
• Other updates and bug fixes.

New Contributors

• @fzyzcjy made their first contribution in #147

Full Changelog: v1.7.1...v1.8.0

v1.7.1

Full Changelog: v1.7.0...v1.7.1

v1.7.0

We dropped Lean 3 support starting from this version.

What's Changed

• v1.7.0 by @yangky11 in #143
• [WIP] Bump with Lean v4.6.0-rc1 by @Peiyang-Song in #134

Full Changelog: v1.6.0...v1.7.0

v1.6.0

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 #133
• bump to v1.6.0 by @yangky11 in #135

Full Changelog: v1.5.1...v1.6.0

v1.5.1

Full Changelog: v1.5.0...v1.5.1

v1.5.0

What's Changed

• Allow theorems to have unique ids by @albertqjiang in #123
• Updates by @yangky11 in #125
• fix lean 4 ast by @yangky11 in #126
• fix Lean 4 ASTs by @yangky11 in #127
• Remove a bug where the path gets inappropriately used for string removal by @albertqjiang in #128

New Contributors

• @albertqjiang made their first contribution in #123

Full Changelog: v1.4.5...v1.5.0

v1.4.5

What's Changed

• fix type hints for TracedRepo.from_traced_files by @tonyxty in #117
• minor updates by @yangky11 in #121
• fix #118 by @tonyxty in #120
• Minior bug fix by @yangky11 in #122

New Contributors

• @tonyxty made their first contribution in #117

Full Changelog: v1.4.4...v1.4.5

v1.4.4

What's Changed

• fix "Unknown target Lean4Repl" by @yangky11 in #112
• clean up network requests by @yangky11 in #113
• bump to 1.4.4 by @yangky11 in #114

Full Changelog: v1.4.3...v1.4.4