Courseware

Tools for compiling, running, and extracting programs.

And whatever else we need.

• Interacting with lecture notes
• Creating slides
• Formatting .pdf or .html files
• Emacs / CoqIDE configurations