次のエラーが発生しましたが、この問題を修正する方法がわかりません。
m0nst3r@m0nst3r-G3:~/logical_verification_2019$ leanpkg configure
leanpkg: command not found
m0nst3r@m0nst3r-G3:~/logical_verification_2019$
これを手伝ってください。私は自分の主題のために Github リポジトリからプルしようとしましたが、git からの次の指示に従いました。
質問する
246 次