Stream: new members
Topic: Aurélien Saue (intro)
Aurélien Saue (Mar 29 2021 at 09:34):
I am a French-Norwegian Master student at Ecole polytechnique, Paris and I'm starting a 5-month internship at VU Amsterdam with @Gabriel Ebner and @Rob Lewis.
The goal of the internship is to explore ways of porting the mathlib library to Lean4. I still have a lot to learn but I am looking forward to work with some of you on this great project!
Johan Commelin (Mar 29 2021 at 09:35):
Welcome! I guess Gabriel and Rob have already pointed you to Daniel's mathport repo?
Aurélien Saue (Mar 29 2021 at 09:35):
They have yes!
Jasmin Blanchette (Mar 30 2021 at 11:10):
Interesting family name. ;)
Last updated: May 12 2021 at 04:19 UTC