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.