Zulip Chat Archive

Stream: new members

Topic: Aurélien Saue (intro)


view this post on Zulip Aurélien Saue (Mar 29 2021 at 09:34):

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!

view this post on Zulip Johan Commelin (Mar 29 2021 at 09:35):

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

view this post on Zulip Aurélien Saue (Mar 29 2021 at 09:35):

They have yes!

view this post on Zulip Jasmin Blanchette (Mar 30 2021 at 11:10):

Interesting family name. ;)


Last updated: May 12 2021 at 04:19 UTC