| CSC535: Coq: How to get Coq [20/21] | |
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.