This pull request proposes an update to the early part of the us.metamath.org website main page:
https://github.com/metamath/metamath-website-seed/pull/8 Comments welcome. The rest of the page also needs updating, but it took me a little while just to get this far. If we keep working on making improvements it'll be a *lot* easier for newcomers to understand what this Metamath thing is all about. --- 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/E4966258-3F6A-4B48-9383-0132D1EEF9D8%40dwheeler.com.
