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 -- 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/04b09672-b244-4520-97c3-caf5ac9d9c18%40googlegroups.com.
