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 --- 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/E1iO6W1-00071V-Vk%40rmmprod07.runbox.
