2026-07-21

Note : I don't probably realize the amount of work. Hence, I might stop this project at some point.

I will start at bachelor in mathematics at EPFL and I set to myself the goal to formalize most of proofs and theorems seen in class to learn Lean4 and understand in depth the theorems I will see.

See Index.md for a list of theorems, lemmas and corralary and the small set of proofs imported from mathlib (I don't want to derive everything from ZFC so I'll base myself on some mathlib proofs).

To learn Lean and prepare myself, I will read this month Theorem Proving in Lean 4.

I will try to continusly update this README.md tracking my advance.