Workshop

In 2007, there was a Types MathWiki
workshop which gathered people willing to work on a wiki for formalized
mathematics.
The people who expressed interest in collaborating about creating
a common Wiki for formalized mathematics, with whom we plan to work: