Hi David, is the graph really up-to-date? The latest data points in the graph are for 2019-08-07 (all: 32759, main: 21953), whereas the table containing the data goes until 2019-12-25 (all: 33983, main: 22381).
Alexander On Sunday, December 29, 2019 at 6:15:48 PM UTC+1, David A. Wheeler wrote: > > > I just updated a graph that shows the number of proven statements > over time in set.mm. It shows that the mathboxes have grown much > faster than the main body, which I interpret as "some things in mathboxes > should be moved into the main body". The graph is here: > > > https://docs.google.com/spreadsheets/d/1TnuBekyUP918smZeJRD0WrPhJthi915Ose0cnUnB1uc > > > The graph certainly makes it clear that set.mm continues to grow, > but I think we already knew that :-). > > --- David A. Wheeler -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/5e1c1aed-9352-4497-92f8-5722cac37e77%40googlegroups.com.
