Metamath Mailing List
We welcome everyone who is interested in Metamath to join the
mailing list, which discusses all topics related to Metamath.
Metamath is a tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified by a computer program.
We ask that you follow common netiquette rules for mailing lists. In short, respect others' time. For example:
- Use a descriptive subject that describes the content of your post. If you're changing to a new subject, please start a new thread with the new subject. You can show a relationship with a previous subject by using a subject like NEW_SUBJECT (was: OLD_SUBJECT).
- Please avoid replying to yourself (unless it's just occasionally for a quick correction), and allow others time to respond. The point of a mailing list is to enable discussion, not monologue.
- Avoid unnecessary material. Don't just post me-too posts, and quote only what you need to make your point clear.
- Use bottom-posting or interleaved quoting. This makes posts easier to understand.
- Try to post in normal next and *not* rich text. Posting in HTML is allowed, but don't assume that everyone reading the message can see the formatting.
- Don't shout (that is, post in all-caps).
- Avoid personal attacks. Disagreement on ideas is fine (and expected).
There may be occasional lapses, the point is that everyone should *try* to respect others' time.
Postings that do not follow these guidelines are subject to removal, and posters who repeatedly do not follow these guidelines are subject to added moderation or removal. We need to be able to do this to ensure that the mailing list meets its objective.
Some additional guidelines and clarifications can be found at: