Updated graph of set.mm statements over time

52 views
Skip to first unread message

David A. Wheeler

unread,
Sep 27, 2019, 8:08:36 PM9/27/19
to metamath
If you're curious, you can see an updated graph showing the number of "(Contributed by...)"
statements in set.mm by date here:
https://docs.google.com/spreadsheets/d/1TnuBekyUP918smZeJRD0WrPhJthi915Ose0cnUnB1uc

It keeps going up!

The script that does the calculation is in the set.mm repo file scripts/calculate-all-dates.

--- David A. Wheeler

Alexander van der Vekens

unread,
Sep 29, 2019, 9:07:49 AM9/29/19
to Metamath
Interesting! So we had an almost linear growth until 2013, then a (short) period of exponential growth until 2016, followed again by a linear growth until now...

Alexander

Thierry Arnoux

unread,
Sep 29, 2019, 8:01:21 PM9/29/19
to meta...@googlegroups.com
Exponential growth was when Mario was contributing full time to set.mm, I assume!

Reply all
Reply to author
Forward
0 new messages