如何在Debian/Ubuntu上安装Lean 4 #
wget公司 -q个 https://raw.githubusercontent.com/leanprover-community/mathlib4/master/scripts/install_debian.sh && 猛击 安装_debian.sh ; rm(毫米) -(f) 安装_debian.sh && 来源 ~/.配置文件
wget公司 -q个 https://raw.githubusercontent.com/leanprover-community/mathlib4/master/scripts/install_debian.sh && 猛击 安装_debian.sh ; rm(毫米) -(f) 安装_debian.sh && 来源 ~/.配置文件