CSC535: Coq: How to get Coq [20/21] Previous pageContentsNext page

We will use coq 8.3

8.4 will not work.

  Windows/mac: easy.
  UbuntuLinux: sudo apt-get install coqide

For editing, you can use

Coqide is easy to install and use, but its keybindings stink on the mac (it does not understand the command key).

You can change the keybindings (undo, in particular) by following these instructions: to modify a given menu shortcut, go to the corresponding menu item without releasing the mouse button, press the key you want for the new shortcut, and release the mouse button afterwards.

Previous pageContentsNext page