There's also http://www.vdash.org/ http://www.vdash.org/. Vdash is verified math with a wiki front end. Hoping the author will comment here. :) See also http:

There's also http://www.vdash.org/ http://www.vdash.org/. Vdash is verified math with a wiki front end. Hoping the author will comment here. :) See also http://groups.google.com/group/vdash http://groups.google.com/group/vdash