repository_mathlib

Stream: general

[Sara Díaz Real]

Hello! I have formalized a problem from the International Mathematical Olympiad (IMO) as part of my master's degree and I would like to include it at the next repository on GitHub: https://github.com/leanprover-community/mathlib/tree/master/archive/imo. Someone told me that I have to ask to @maintainers for push access to non master branches of mathlib . My user at GitHub is saradiazr11. Thanks!!