Install coq8.8.1 or 8.8.2 on ubuntu
# install ocaml palcage manager
sh <(curl -sL https://raw.githubusercontent.com/ocaml/opam/master/shell/install.sh)
# Install bubblewrap on Ubuntu 18.04
sudo apt update
sudo apt install bubblewrap...
原创
2019-03-13 23:15:12 ·
668 阅读 ·
2 评论