Thierry Arnoux asked me an intriguing question: > Could it be that the lock-down imposed... due to the Coronavirus > is giving people time to progress on their Metamath proofs?
I cannot determine causes from simple counts, but I can at least determine if there are changes in rates and timings that suggest causes. I could certainly believe that some people have more time to create Metamath proofs than before. So... I just updated the "Metamath contributions over time" graph to see if I can easily answer that question. You can see it here: https://docs.google.com/spreadsheets/d/1TnuBekyUP918smZeJRD0WrPhJthi915Ose0cnUnB1uc There seems to be an acceleration in the last months, simply by looking at it visually. However, the acceleration seems to have started before most confinements worldwide, so there might not be a direct correlation. In addition, the rate of theorem increase is very noisy, so just by examining it visually it is not clear that the recent acceleration is real or simply noise. I have not done any serious statistical analysis of the data, but I do make the data public. If someone else feels like examining the data in a more serious statistical manner, I'd love to hear about it. I hope that everyone is staying safe and healthy. I wish everyone the very best. --- 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/33787533-560B-4FFC-8A78-B6E600A67F69%40dwheeler.com.
