Coq

Links

Coq

• https://coq.inria.fr/download

Coq course

• Software foundation — https://www.cis.upenn.edu/~bcpierce/sf/current/

Vim Plugin

• https://github.com/the-lambda-church/coquille

Install

• https://coq.inria.fr/cocorico/Installation%20of%20Coq%20on%20Linux

tar -xvzf coq-8.5.tar.gz
cd coq-8.5/
sudo apt-get build-deps coq coqide
sudo apt-get install ocaml ocaml-native-compilers camlp5 liblablgtk2-ocaml-dev liblablgtksourceview2-ocaml-dev libgtk2.0-dev
./configure -prefix /usr/local
make
sudo make install