GitHub Permissions

Stream: mathlib4

[giacomo gallina]

Hi, me and my friends @Giorgia Benassi and @Chiara Molinari would like to contribute some basic theorems about Gaussian quadrature, could we get access to a branch of mathlib? Our github usernames are giacomogallina giorgiabenassi and ChiaraM00

[Markus Himmel]

@giacomo gallina Invite sent: https://github.com/leanprover-community/mathlib4/invitations

[giacomo gallina]

Thank you very much!