This repository contains my attemps to complete the exercises from Kevin Buzzard's Formalizing Mathematics 2024 course on Lean 4.
I have not attended the course personally but I attended a Lean 4 course at my University and I was recommended to continue practicing by completing the exercises form Buzzar's course.