Coq: Difference between revisions
Jump to navigation
Jump to search
(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....") |
(→Links) |
||
| Line 6: | Line 6: | ||
Coq course |
Coq course |
||
* Software foundation — https://www.cis.upenn.edu/~bcpierce/sf/current/ |
* Software foundation — https://www.cis.upenn.edu/~bcpierce/sf/current/ |
||
Vim Plugin |
|||
* https://github.com/the-lambda-church/coquille |
|||
== Install == |
== Install == |
||
Latest revision as of 20:02, 1 March 2016
Links
Coq
Coq course
- Software foundation — https://www.cis.upenn.edu/~bcpierce/sf/current/
Vim Plugin
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