.... the numbering is not stable: Metamath Zero is now #46 and will change soon, I assume. The link to the discussion (and there is alrady a discussion meanwhile) will be stable, I hope ...
On Friday, October 25, 2019 at 10:48:59 PM UTC+2, David A. Wheeler wrote: > > Metamath Zero is #7 on "Hacker News" ( https://news.ycombinator.com/ ), a > widely-read aggregator. That's quite impressive. Congrats, Mario! > > There's no discussion yet, but if there is it will be at: > https://news.ycombinator.com/item?id=21358674 > <https://www.google.com/url?q=https%3A%2F%2Fnews.ycombinator.com%2Fitem%3Fid%3D21358674&sa=D&sntz=1&usg=AFQjCNG4wubCAHkqLQ3M64-Bj3MLbWAz-g> > > > --- 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/015c6caf-281c-45ad-b350-47658f63a7cc%40googlegroups.com.
