Computer Science
Proving software correct rather than testing it and hoping.
8 topics · 1 curated work
Primary sources and full treatments.
Teaches logic, proof and programming-language theory by making you build the proofs in a proof assistant, where hand-waving is impossible.