1–30 of 986
Welcome to the Metamath mailing list, which discusses all topics related to Metamath (, a tiny language that can express theorems in abstract mathematics, accompanied by proofs that can be verified by a computer program. We encourage everyone interested in Metamath to join this group. Follow the usual rules of netiquette - see:  In order to reduce spam, if you are a new user, you must be approved by a moderator before your first post will appear.  This will usually happen within a few hours of your first post.