vdash

Contact owners and managers
vdash@googlegroups.com

Description

vdash.org is a wiki of formalized mathematics that can be edited by anyone. This (vdash) is the main mailing list, with a moderate amount of traffic. For less frequent announcements, join vdash-announce. Developers may also wish to join vdash-dev.

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 and will be held for moderation
Anyone on the web
can join group