Coq

From miki
Revision as of 20:01, 1 March 2016 by Mip (talk | contribs) (Created page with "== Links == Coq * https://coq.inria.fr/download Coq course * Software foundation — https://www.cis.upenn.edu/~bcpierce/sf/current/ == Install == * https://coq.inria....")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search

Links

Coq

Coq course

Install

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
Retrieved from "https://miki.immie.org/mediawiki/index.php?title=Coq&oldid=8162"