Zulip Chat Archive
Stream: new members
Topic: Patrick Biface
Patrick Biface (May 21 2023 at 13:52):
Hello everyone !
I'm a 1st year student in mathematics and computer science In Paris, France. I had an introductory course on lean 3 this semester and I enjoyed it. I would like to go deeper into lean during this summer ! :grinning:
Riccardo Brasca (May 21 2023 at 15:50):
Are you at Orsay?
Patrick Biface (May 21 2023 at 16:34):
No I'm at Paris-Cité
Last updated: Dec 20 2023 at 11:08 UTC