Programming Notes & Tutorials

Math-flavoured writeups with lemmas, proofs, and exercises.