🏠 返回管理首页
leanprover/lean4
📊 官方发布总数: 117
v4.29.1
📅 4/14/2026, 2:28:38 PM
文件: lean-4.29.1-darwin.tar.zst
立即下载 (505.6MB)
文件: lean-4.29.1-darwin.zip
立即下载 (716.9MB)
文件: lean-4.29.1-darwin_aarch64.tar.zst
立即下载 (501.7MB)
文件: lean-4.29.1-darwin_aarch64.zip
立即下载 (711.8MB)
文件: lean-4.29.1-linux.tar.zst
立即下载 (514.7MB)
文件: lean-4.29.1-linux.zip
立即下载 (800.5MB)
文件: lean-4.29.1-linux_aarch64.tar.zst
立即下载 (513.0MB)
文件: lean-4.29.1-linux_aarch64.zip
立即下载 (798.8MB)
文件: lean-4.29.1-windows.tar.zst
立即下载 (525.2MB)
文件: lean-4.29.1-windows.zip
立即下载 (754.1MB)
v4.28.1
📅 4/14/2026, 4:45:34 PM
文件: lean-4.28.1-darwin.tar.zst
立即下载 (486.0MB)
文件: lean-4.28.1-darwin.zip
立即下载 (696.1MB)
文件: lean-4.28.1-darwin_aarch64.tar.zst
立即下载 (478.7MB)
文件: lean-4.28.1-darwin_aarch64.zip
立即下载 (686.4MB)
文件: lean-4.28.1-linux.tar.zst
立即下载 (496.6MB)
文件: lean-4.28.1-linux.zip
立即下载 (782.0MB)
文件: lean-4.28.1-linux_aarch64.tar.zst
立即下载 (494.2MB)
文件: lean-4.28.1-linux_aarch64.zip
立即下载 (778.5MB)
文件: lean-4.28.1-windows.tar.zst
立即下载 (503.6MB)
文件: lean-4.28.1-windows.zip
立即下载 (730.5MB)
v4.29.0
📅 3/27/2026, 2:35:43 PM
文件: lean-4.29.0-darwin.tar.zst
立即下载 (505.6MB)
文件: lean-4.29.0-darwin.zip
立即下载 (716.9MB)
文件: lean-4.29.0-darwin_aarch64.tar.zst
立即下载 (501.7MB)
文件: lean-4.29.0-darwin_aarch64.zip
立即下载 (711.8MB)
文件: lean-4.29.0-linux.tar.zst
立即下载 (514.7MB)
文件: lean-4.29.0-linux.zip
立即下载 (800.5MB)
文件: lean-4.29.0-linux_aarch64.tar.zst
立即下载 (512.9MB)
文件: lean-4.29.0-linux_aarch64.zip
立即下载 (798.7MB)
文件: lean-4.29.0-windows.tar.zst
立即下载 (525.2MB)
文件: lean-4.29.0-windows.zip
立即下载 (754.0MB)
⬅️ 上一页
下一页 ➡️