My masters thesis in Lean