How to contribute to mathlib

Stream: LFTCM 2024

[Riccardo Brasca]

There will be a short and informal talk this evening after dinner about how to contribute to mathlib. The point is to learn how to use the github interface, requesting a review and things like that (not on how to write Lean code).

Can you like this message ( :+1: ) if you are interested in participating? Just to have an idea on the number of people that will be there.