Formal Proof Foundations - Winter 2024