I guess a site visitor would be "comfortable" seeing coherence between that number and the largest number she sees in the Theorem List pages.
Is there a rough estimate of the number of theorems in the deprecated part? What about dropping the second digit and go for a "ten thousand precision"? Something like "over 40,000 proofs" that we will update when we will be above 50,000 ? Glauco Il giorno sabato 1 gennaio 2022 alle 22:07:59 UTC+1 Alexander van der Vekens ha scritto: > On Saturday, January 1, 2022 at 9:48:27 PM UTC+1 Glauco wrote: > >> The main page of the site begins with "Over 23,000 proofs". It looks like >> it could be updated. > > > What should be the number of proofs which should be provided here? Is it > "over 27,000 proofs" (main body of set.mm, i.e., Parts 1-16), or the > whole number of proofs including deprecated parts and mathboxes (this would > be "over 41,000 proofs")? > -- 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/8f679b30-d3b4-4355-9eda-1fae690f2ce1n%40googlegroups.com.
