Required and optional readings will be added here. No textbook purchase is currently requested.
The course toolchain is still being selected. Installation instructions and small examples will be posted here.
Logic notation, proof techniques, and tool reference sheets will be added as needed.