67th International Mathematical Olympiad
Natural-language solutions translated faithfully from machine-checked Lean proofs produced with the Quokka pipeline.
Lean repository · Official problems · Quokka