如何在MacOS上安装Lean 4 #
安装精益4 #
/垃圾桶/垃圾桶 -c(c) " $( 卷曲 -fsSL公司 https://raw.githubusercontent.com/leanprover-community/mathlib4/master/scripts/install_macos.sh ) " && 来源 ~/.配置文件
/垃圾桶/垃圾桶 -c(c) " $( 卷曲 -fsSL公司 https://raw.githubusercontent.com/leanprover-community/mathlib4/master/scripts/install_macos.sh ) " && 来源 ~/.配置文件