Zulip Chat Archive

Stream: new members

Topic: Sara Rousta

Sara Rousta (Jan 19 2022 at 17:10):

Hi, I am Sara. A student from Lund, but I did an internship at Cambridge - that's how I got introduced (tricked) to doing lean! I want to do some order theory with Yaël and would like access to non-master branches. SaraRousta on Github.

Anne Baanen (Jan 19 2022 at 17:19):

Done, check https://github.com/leanprover-community/mathlib/invitations

Sara Rousta (Jan 19 2022 at 17:21):


Last updated: Dec 20 2023 at 11:08 UTC