Metamath
Description
Discussion about the Metamath language (see https://www.metamath.org/ ) & related projects, e.g. Ghilbert. Metamath is a simple & flexible computer-processable language that supports rigorously verifying, archiving, and presenting math proofs. Etiquette: https://us.metamath.org/mm-mailing-list.html
Language
English (United States)
Privacy
Anyone on the web
can see group
Group members
can view members
Anyone on the web
can view conversations
Group members
can post but posts from new members will be held for moderation
Anyone on the web
can join group