Tutorials informationOn Windows and MacOSInstall CoqUse the official windows and mac installers downloadable here: https://coq.inria.fr/download Install PactoleThe Pactole package dedicated to those tutorials (zip archive) is available here. Uncompress it in a directory that you can read, say, Start coqideYou should be able to start coqide from the graphical interface of windows and macos. You will need a few more steps to be able to use pactole from coqide, see Section Start a pactole-ready coqide. On Linuxopam is a packaging system and the easiest way to install coq nowadays. It allows one to update coq versions and switch between versions. The coq opam page is here. Installing opamLots of linux distributions have a package for opam. On Debian:
Other distribsSee there: http://opam.ocaml.org/doc/Install.html if your distrib has a package or how to install it another way. Installing coq DON'T USE YOUR DISTRIB PACKAGE SYSTEM,
Add opam directory to your path
Install PactoleThe Pactole package for the tutorials is available here. Uncompress it in a directory that you can read, say Test Coq and pactole in a hurry
(note that if opam is not in your path you can try Write the following line in the buffer:
Hit [ctrl-down], if the line becomes blue and then green with no error, you are ready to go! See the next section to make coqide easier to call. Start a pactole-ready coqideHave the coq options in a _CoqProjectCreate a text file called (exactly)
in this file and save it. (Unix shell users can do this with this commands: Unix shell users: after these last steps calling coqide will need: |