3 Resources

While the course will be paper-driven, having the following software installed could help tinker with some of the ideas we will cover.

A handy guide to install some of these in Windows through opam is available here.

A cloneable .emacs startup config can be found here.

Further Reading for Verification component

For the Coq components:

We will be using Coq 8.12 for the duration of this course.