Zulip Chat Archive

Stream: Geographic locality

Topic: Saint-Étienne, FR

Filippo A. E. Nuccio (Sep 08 2020 at 11:00):

Number Theorist in Saint-Étienne, part of Lyon University, here!

Charles FRANCHI (Nov 02 2022 at 12:44):

Student in mathematics at the Jean Monnet University, in Saint-Etienne, working on a project in relation to math formalization.
(with the help of @Filippo A. E. Nuccio )

Notification Bot (Nov 02 2022 at 12:52):

Charles FRANCHI has marked this topic as resolved.

Notification Bot (Nov 02 2022 at 12:53):

Charles FRANCHI has marked this topic as unresolved.

Filippo A. E. Nuccio (Nov 02 2022 at 13:01):

Welcome!

Michael Bulois (Jan 30 2023 at 13:12):

Hi, I've been drafted by @Filippo A. E. Nuccio to try mathlib

Can I have access to mathlib?
My GitHub account is phul-ste

My research themes: Representation theory with a bit of algebraic geometry.
A few keywords: Lie algebras, GIT, orbits, commuting varieties, Hilbert schemes, quivers...

Patrick Massot (Jan 30 2023 at 13:17):

Welcome!

Anne Baanen (Jan 30 2023 at 13:18):

Welcome! I have sent you an invite: https://github.com/leanprover-community/mathlib/invitations

Michael Bulois (Jan 30 2023 at 16:09):

Anne Baanen said:

Welcome! I have sent you an invite: https://github.com/leanprover-community/mathlib/invitations

Thanks

Last updated: Dec 20 2023 at 11:08 UTC