Course Tools

We will use two tools in this course:

• The Scamper programming language as a subject for our study of program correctness.
  • Note: using Racket is also acceptable. Either language will acheive the same learning objectives.
  • If you would like, you can download and use DrRacket.
• The LaTeX documentation preparation system to author mathematical prose.

LaTeX can be installed directly on most platforms:

• https://www.latex-project.org/get/

However, the raw edit-and-compilation experience for LaTeX is lacking. I recommend using the Overleaf online service for authoring LaTeX documents. Overleaf has a full-featured, in-browser LaTeX IDE that smooths away many of the warts when developing in LaTeX. A free Overleaf account is sufficient for both this course and most people's needs.

Additionally, Overleaf provides an excellent introductory tutorial to LaTeX. I highly recommend you work through it and come back to it as a reference for this course:

• https://www.overleaf.com/learn/latex/Learn_LaTeX_in_30_minutes