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-cuda-linux.tar.gz | 2025-03-03 | 106.7 MB | |
| arm64-linux.tar.gz | 2025-03-03 | 101.6 MB | |
| x86_64-linux.tar.gz | 2025-03-03 | 107.1 MB | |
| arm64-macOS.tar.gz | 2025-03-03 | 3.7 MB | |
| README.md | 2025-03-03 | 328 Bytes | |
| v4.17.0 source code.tar.gz | 2025-03-03 | 173.6 kB | |
| v4.17.0 source code.zip | 2025-03-03 | 193.3 kB | |
| Totals: 7 Items | 319.4 MB | 0 | |
What's Changed
- Bump to latest: v4.17.0-rc1 by @Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/147
- Bump to latest stable version (Lean v4.17.0) by @Peiyang-Song in https://github.com/lean-dojo/LeanCopilot/pull/149
Full Changelog: https://github.com/lean-dojo/LeanCopilot/compare/v4.16.0...v4.17.0