Compfiles: Catalog Of Math Problems Formalized In Lean

Imo2024P5

This problem has not been formalized yet!

To add a formalization of it, submit a pull request to the Compfiles Github repository.

External resources: