Write access to mathlib

Stream: mathlib4

[Nina Wawrów]

Hi, last week we've completed a project during the ICMS workshop on quadratic number fields, and we are currently looking into incorporating it into mathlib. My GitHub profile name is Wojowu

[Kim Morrison]

Hi Nina, invitation sent!