Installing Coq

You need to install Coq 8.8.1 or 8.8.2. Follow the instructions on the Coq website. For those who have taken CS 3110: note that you can install Coq natively on Windows; you don’t have to run inside the 3110 VM.

You also need to install an IDE. We recommend either CoqIDE or Proof General; we also mention Visual Studio Code and Eclipse, below: