什么是形式化验证Lean的核心思想是将证明转换成可以被检查的对象，而lean就是负责检查其正确与否的工具。 安装先装基础依赖： 12sudo apt updatesudo apt install -y git curl 然后安装 elan： 1curl https://elan.lean-lang.org/elan-init.sh -sSf | sh 安装过程中如果让你选择，选默认的： 11...