supporting mathematics on the web! supports web-supported mathematics, in particular

Michael Kohlhase holds the domain for the purpose specified above. Should it ever be necessary, we will move to some more formalized form of organization.

Mailing lists
general discussion (subscribe)
announcements: low volume (subscribe)
technical issues (subscribe)
the steering group (by invitation only)

I will try to set up aliases like and keep you posted when they are operational. Wiki

We have a Wiki for strategy discussions. To write you need to be logged in, any member can make new accounts