MAS5932–Logic, Type Theory, and the Mechanization of Mathematics
![](/~ealdrov/teaching/2020-21/fall/MAS5932/assets/14_50_59.png)
Content
-
Updated installation instructions
I have updated the installation instructions:
- For Ubuntu
Ubuntu 20.04.1 LTS
via the native package system - Using Stack: this alternative works for all three OSs (tested on Ubuntu and macOS).
- For Ubuntu
-
Welcome
We start with at bang! Zoom is down.
-
Installation instructions
Some more installation instructions for Windows.