I've created a Youtube video showing set.mm contributions over time using Gource. You might enjoy this:
https://youtu.be/rjlRGAfjPMs The video shows the state of set.mm over time. The date is at the top center, increasing over time. Every small dot is an assertion ($a or $p). The structure is the structure of the set.mm headings (as of 2019-09-28). The little "people" represent contributors; the flashes from contributors to dots shows the creation or modification of an assertion. You can see a lonely Norman Megill at the beginning, and it gets progressively busier over time. The video is "unpublished" (unlisted) on Youtube, because I don't know if I need to make important changes before publicly listing it there. Let me know what you think! --- 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/E1iEOXg-0003LC-5U%40rmmprod07.runbox.
