Zulip Chat Archive
Stream: general
Topic: new users / Cyril and Damien
Patrick Massot (Mar 01 2018 at 09:01):
Oh, we should be serious now, we have guests from the mathcomp team.
Patrick Massot (Mar 01 2018 at 09:02):
Welcome @Cyril Cohen and @Damien Rouhling !
Sean Leather (Mar 01 2018 at 09:02):
Perhaps you should start a new topic with the above message?
Patrick Massot (Mar 01 2018 at 09:04):
done
Cyril Cohen (Mar 01 2018 at 09:17):
Thank you. But please do not be serious for us, I loved reading about prime 57 :)
Last updated: Dec 20 2023 at 11:08 UTC