Sara Rousta

Stream: new members

[Sara Rousta]

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]

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

[Sara Rousta]

Thanks!!