尝试在ubuntu中安装lean

Question

我得到了以下错误，我不知道如何解决这个问题。

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

请帮个忙。我试着从Github库中提取我的主题，并遵循了git中的以下说明。

The instructions for Linux is at the bottom when you scroll down

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