I intend to eventually re-run Gource to visualize the progress of set.mm. Many things have happened, and there are a lot of corrections to the dates of the early theorems (my thanks to Norm for tracking that down!).
Are there any other "major events" in Metamath/set.mm that aren't well-captured? The current list is here: https://github.com/metamath/set.mm/blob/develop/scripts/gource-captions.txt For example: * I think the OpenAI proofs are important - does this text capture things well?: "OpenAI provides first contribution of a Metamath proof created/minimized via machine learning" * I don't know what the "right" date is for extensible structures - can anyone suggest something? df-struct was contributed by Mario Carneiro on 29-Aug-2015, yet the structure component index extractor df-ndx was contributed earlier by NM on 4-Sep-2011. Suggestions on a date - and what to say - about adding extensible structures would be welcome. * What important events are missing, especially when nothing else happens near those times? Tooting your own horn is fine, just make sure it's a good note :-). --- 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/E1jNeUD-0007wa-Te%40rmmprod07.runbox.
