Zulip Chat Archive

Stream: general

Topic: three years


view this post on Zulip Rob Lewis (Jul 21 2020 at 08:35):

Happy third birthday, mathlib!

view this post on Zulip Oliver Nash (Jul 21 2020 at 08:56):

Patiently have you been waiting to post this :wink:

view this post on Zulip Gabriel Ebner (Jul 21 2020 at 08:59):

Happy birthday, stdlib? As far as I remember, mathlib was born a month later: https://github.com/leanprover-community/mathlib/commit/4320c41797cdc539656d17c3875cb15f476e7326

view this post on Zulip Rob Lewis (Jul 21 2020 at 09:00):

This is a deep question. Is a project's identity tracked by its name or its git history?

view this post on Zulip Marc Huisinga (Jul 21 2020 at 09:22):

changing your name should not reset your birthday

view this post on Zulip Kevin Buzzard (Jul 21 2020 at 10:36):

This surprises me a bit, because my 3rd birthday for beginning to use Lean was, I thought, the day Tom Hales said in Cambridge "my proposal is Lean", on 10th July 2017. What did Lean look like on that date?

view this post on Zulip Kevin Buzzard (Jul 21 2020 at 10:36):

Maybe I only came to the chat a few days later.

view this post on Zulip Kevin Buzzard (Jul 21 2020 at 10:37):

https://www.newton.ac.uk/seminar/20170710100011001

view this post on Zulip Rob Lewis (Jul 21 2020 at 10:40):

Most of the library was in core. There was another repo library_dev that was like a proto-mathlib.


Last updated: May 13 2021 at 06:15 UTC