Metamath Mailing List

We welcome everyone who is interested in Metamath to join the Metamath 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:

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: