Zulip Chat Archive

Stream: general

Topic: Contributors

Yaël Dillies (Nov 26 2021 at 22:56):

We've reached 200 contributors 2 days ago! :tada:

Kevin Buzzard (Nov 26 2021 at 22:58):

Oh well spotted! I'd recently noticed that we were nearly there. That's another nice milestone

Yaël Dillies (Nov 26 2021 at 23:01):

I have been watching the stats for two weeks now, noticed we reached 200 and then let you a few days thinking you would like to announce it, but you didn't take on the opportunity :sweat_smile:

Rob Lewis (Dec 11 2021 at 15:47):

It's a kind of arbitrary measure since we throw out and meta stuff and anything that looks auto generated, but, we just hit 100k declarations sometime recently!

Yaël Dillies (Oct 04 2022 at 09:11):

And now 100k theorems!

Patrick Massot (Oct 04 2022 at 09:26):

It's nice that we reach 100k theorem and 10610^6 lines at roughly the same time. It would be nice to do something to celebrate this, but I don't know what.

Yaël Dillies (Oct 04 2022 at 09:27):

Formalise more? :grinning_face_with_smiling_eyes:

Patrick Massot (Oct 04 2022 at 09:28):

Even more appropriate would be switching to Lean 4...

Last updated: Aug 03 2023 at 10:10 UTC