> On Jul 25, 2022, at 7:19 AM, Jon P <[email protected]> wrote:
>
> Sounds like really nice progress David, very impressive, hope the covid is
> light and passes off quickly for you :)
>
> As a tiny thing I noticed on the front page it it says "Constructs
> mathematics from scratch, starting from ZFC set theory axioms. Over 23,000
> proofs."
>
> Whereas maybe there are about 43k proofs now?
I believe that number is *only* for the main part (not, e.g., mathboxes and
deprecated sections). We do say "over" so it's not wrong :-).
That said, yes, it'd be great to update it.
--- 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/D65654D7-FB9F-452E-BACD-1B477EFCDE66%40dwheeler.com.
