A small repository containing the TeX code for the Succinct Proofs and Linear Algebra study session's slides and homework - View it on GitHub