ubuntu - 尝试在 ubuntu 中安装精益

Question

我收到以下错误，我不知道如何解决此问题。

m0nst3r@m0nst3r-G3:~/logical_verification_2019$ leanpkg configure
leanpkg: command not found
m0nst3r@m0nst3r-G3:~/logical_verification_2019$ 

请帮忙。我尝试从 Github 存储库中提取我的主题，并按照 git 中的以下说明进行操作。

向下滚动时，Linux 的说明位于底部

Answer 1

如果您使用的是 ubuntu，请使用 PPA 安装 Lean：

sudo apt-get install python-software-properties # for add-apt-repository 
sudo add-apt-repository ppa:leanprover/lean
sudo apt-get update
sudo apt-get install lean