Here is my latest attempt to define Metamath - comments? > Metamath is a simple and flexible computer-processable language that > supports rigorously verifying, archiving, and presenting mathematical proofs.
This is in part a response to Jim Kingdom, who noted that he emphasizes "checking with a computer". Fair enough, so I thought putting "rigorously verifying" first would be sensible. At first I was worried iif putting "rigorously" first would be confusing, but I think it's far; Metamath really *does* provide added rigor for archiving and presenting. Please post feedback and/or approval of this & related changes here: https://github.com/metamath/metamath-website-seed/pull/8 I realize not everyone cares about the front page, and that's fine, but I think it's important to update these pages to help potential newcomers. --- 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/73A596A8-3133-46CA-A1C3-0E612F7C9215%40dwheeler.com.
