Zulip Chat Archive
Stream: new members
Topic: Xavier Généreux
Xavier Généreux (Nov 01 2022 at 17:47):
Hey!
I am a grad student from Montréal, currently studying number theory!
I find lean super cool and I hope I can contribute a bit after I get more familiar with it :)
Nice to meet you all,
Xavier
Kevin Buzzard (Nov 01 2022 at 22:11):
Who's your advisor?
Last updated: May 02 2025 at 03:31 UTC