MAS5932–Logic, Type Theory, and the Mechanization of Mathematics

---

---

Content

• The Literate Agda code files

• Installation instructions

• References

---

• Updated installation instructions

  Aug 30, 2020

  I have updated the installation instructions:

  1. For Ubuntu Ubuntu 20.04.1 LTS via the native package system
  2. Using Stack: this alternative works for all three OSs (tested on Ubuntu and macOS).

• Welcome

  Aug 24, 2020

  We start with at bang! Zoom is down.

• Installation instructions

  Aug 24, 2020

  Some more installation instructions for Windows.