Text
Intro--00-Why-Bother--study-guide.txt
Text
Intro--01-Circuits-and-Truth-Tables--study-guide.txt
Text
NatDed-00-Intro-to-Prop-Logic--study-guide.txt
Text
ProgLogic--02-Loop-Invariants--recipe.txt