Download Latest Version
x86_64-linux.tar.gz (107.1 MB)
Get an email when there's a new version of Lean Copilot
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| x86_64-linux.tar.gz | 2025-05-02 | 107.1 MB | |
| arm64-linux.tar.gz | 2025-05-02 | 102.0 MB | |
| arm64-macOS.tar.gz | 2025-05-02 | 4.0 MB | |
| README.md | 2025-05-02 | 524 Bytes | |
| v4.19.0 source code.tar.gz | 2025-05-02 | 174.4 kB | |
| v4.19.0 source code.zip | 2025-05-02 | 194.1 kB | |
| Totals: 6 Items | 213.4 MB | 0 | |
What's Changed
- Latest stable version v4.17.0 by @Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/150
- merge main into stable by @Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/158
- minor: modify branches on which CI tests are triggered by @Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/160
- Bump to latest by @Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/164
Full Changelog: https://github.com/lean-dojo/LeanCopilot/compare/v4.18.0...v4.19.0