Metamath

metamath@googlegroups.com

Description

Discussion about the Metamath proof language (see http://www.metamath.org/ ), Ghilbert ( http://ghestalt.ghilbert.org/ ), and related projects. Follow the usual rules of netiquette - see: http://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