文件详情
完成后请尽快下载，文件不定期删除。 现在时间:2026-08-02 05:01:54 +0800
操作
文件名
下载地址
下载时间
已完成

2026-08-02-00-36-38-lean4-lean-4.32.0-linux.zip

下载地址0 下载地址1 下载地址9
2026-08-02 00:36:39 +0800
文件名
2026-08-02-00-36-38-lean4-lean-4.32.0-linux.zip
下载地址
https://github.com/leanprover/lean4/releases/download/v4.32.0/lean-4.32.0-linux.zip
提交时间
2026-08-02 00:36:39 +0800
提交用户IP
用户代理
Mozilla/5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/150.0.0.0 Safari/537.36 Edg/150.0.0.0
文件信息
Zip archive data, at least v1.0 to extract, compression method=store
Linux

#1.下载
wget -c https://d7.serctl.com/downloads8/2026-08-02-00-36-38-lean4-lean-4.32.0-linux.zip -O ./2026-08-02-00-36-38-lean4-lean-4.32.0-linux.zip

#2.下载
axel -n 6 https://d7.serctl.com/downloads8/2026-08-02-00-36-38-lean4-lean-4.32.0-linux.zip -o ./2026-08-02-00-36-38-lean4-lean-4.32.0-linux.zip

#3.下载
curl -L -O -C - https://d7.serctl.com/downloads8/2026-08-02-00-36-38-lean4-lean-4.32.0-linux.zip


#1.下载
wget -c https://dl0.serctl.com/downloads8/2026-08-02-00-36-38-lean4-lean-4.32.0-linux.zip -O ./2026-08-02-00-36-38-lean4-lean-4.32.0-linux.zip

#2.下载
axel -n 6 https://dl0.serctl.com/downloads8/2026-08-02-00-36-38-lean4-lean-4.32.0-linux.zip -o ./2026-08-02-00-36-38-lean4-lean-4.32.0-linux.zip

#3.下载
curl -L -O -C - https://dl0.serctl.com/downloads8/2026-08-02-00-36-38-lean4-lean-4.32.0-linux.zip


#1.下载
wget -c https://dl1.serctl.com/downloads8/2026-08-02-00-36-38-lean4-lean-4.32.0-linux.zip -O ./2026-08-02-00-36-38-lean4-lean-4.32.0-linux.zip

#2.下载
axel -n 6 https://dl1.serctl.com/downloads8/2026-08-02-00-36-38-lean4-lean-4.32.0-linux.zip -o ./2026-08-02-00-36-38-lean4-lean-4.32.0-linux.zip

#3.下载
curl -L -O -C - https://dl1.serctl.com/downloads8/2026-08-02-00-36-38-lean4-lean-4.32.0-linux.zip