Summer Math/IT Camp 2022 - Interactive Theorem Proving in Lean

Bachelor course, Uppsala University, 2022