Zulip Chat Archive

Stream: general

Topic: repository_mathlib


Sara Díaz Real (Jul 11 2021 at 11:17):

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!!


Last updated: Dec 20 2023 at 11:08 UTC