Updated set.mm proof count (over 40,000) and page last updated date #27
Conversation
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
… countmmproofs repo). Also updated "This page was last updated on 17-Nov-2024" (I noticed because the previous last updated date, 7-Aug-2021, is before the death of Norman "Norm" Dwight Megill, Ph.D., and yet his death on December 9, 2021 is already announced on this index page)
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
Just two little updates on index.html (by hand):
set.mm now has "Over 40,000 proofs" (estimated just yesterday, see my countmmproofs repo: https://www.github.com/BismaBRJ/countmmproofs). Previously it was "Over 23,000 proofs". Honestly I just made a small C program to count the number of $= tokens (which, as far as I know, should appear exactly once in every proof) in the set.mm database of the recent commit 2813f8eb3a62e829c4c7afea58513c2d77d4c98f, which I found to be exactly 43565. Assuming some of those occurrences of $= may be in comments, I only dare say "Over 40,000 proofs"
the bottom of the page now says "This page was last updated on 17-Nov-2024". Previously it was "This page was last updated on 7-Aug-2021" even though it has been updated numerous times. I first noticed because the death of Norman "Norm" Dwight Megill, Ph.D. on December 9, 2021 is already announced on this index page, even though that is after 7-Aug-2021
I may be a nobody but I do hope that every change on index.html from now on will not forget to update that "This page was last updated on" date. Hopefully it will help with the impression of Metamath, that it is still alive to this day. Also, I plan to cite this page on my bachelor's thesis :)
Feel free to correct me, and thanks to all contributors!