This repository has Lean statements for IMO Shortlist 2024 problems, originally written before that IMO while chairing the Problem Selection Committee, along with solutions to C1 and N1 and a partial ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results