Software

This course will make use of the following software:

• Coq

1 Installing Coq

Follow instructions from The Coq Proof Assistant installation page.

There are several different ways to install Coq, so please choose what works best for your system. For me, using homebrew was the easiest.

You may also want to install Proof General.