International Mathematical Olympiad problems

This is a personal project where I will take problems from the International Mathematical Olympiad and try to prove them using the Lean theorem prover.