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/fba4e667-cdb6-43a6-8b28-9601c0468a77n%40googlegroups.com.
