| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| arm64-linux.tar.gz | 2026-06-20 | 466.2 MB | |
| x86_64-linux.tar.gz | 2026-06-20 | 118.0 MB | |
| arm64-macOS.tar.gz | 2026-06-20 | 3.9 MB | |
| README.md | 2026-06-20 | 675 Bytes | |
| v4.31.0 source code.tar.gz | 2026-06-20 | 174.6 kB | |
| v4.31.0 source code.zip | 2026-06-20 | 194.3 kB | |
| Totals: 6 Items | 588.4 MB | 2 | |
What's Changed
- Bump to latest & fix bugs by @Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/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 https://github.com/leanprover-community/batteries/issues/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: https://github.com/lean-dojo/LeanCopilot/compare/v4.28.0...v4.31.0
