What's Changed
- Bump to latest & fix bugs by @Peiyang-Song in #194
Note
Lean Copilot is incompatible with Lean versions between 4.28.0 and 4.32.0-rc1 due to a downstream bug (#193), which has now been fixed in the latest Lean version v4.32.0-rc1 (see details in leanprover-community/batteries#1832). With this release, Lean Copilot works as expected on the latest Lean version. We recommend upgrading to this release or a later one. Alternatively, you can use Lean versions up to and including v4.28.0.
Full Changelog: v4.28.0...v4.31.0
Contributors
Peiyang-Song