Zulip Chat Archive

Stream: general

Topic: mathlib stats overflow

Kevin Buzzard (Sep 03 2022 at 17:59):

I see at https://leanprover-community.github.io/mathlib_stats.html that we're about to hit both 3000 files and 10^6 LOC, which is the top of both of the graphs. Does someone need to make these graphs have more space or will something magical automatically happen when these boundaries are met?

Johan Commelin (Sep 03 2022 at 19:20):

I was assuming the magical option.

Patrick Massot (Sep 03 2022 at 19:20):

Yes, definitely.

Kalle Kytölä (Sep 03 2022 at 19:30):

97898 theorems is also pretty close to a round number milestone. :octopus:

Last updated: Aug 03 2023 at 10:10 UTC