Aurélien Saue (intro)

Stream: new members

[Aurélien Saue]

Hi everyone!

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]

Welcome! I guess Gabriel and Rob have already pointed you to Daniel's mathport repo?

[Aurélien Saue]

They have yes!

[Jasmin Blanchette]

Interesting family name. ;)