Contributors

Stream: general

[Yaël Dillies]

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

[Kevin Buzzard]

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

[Yaël Dillies]

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]

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]

And now 100k theorems!

[Patrick Massot]

It's nice that we reach 100k theorem and $10^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]

Formalise more? :grinning_face_with_smiling_eyes:

[Patrick Massot]

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