> Unfortunately, I've never seen enough momentum behind one proof language to give a wiki a chance of becoming something substantial.

It's probably not far from hoping for the "Wikipedia of programming" where a single programming is used for all programs. There's religious wars on the best approach to everything and even the proof for "1 + 1 = 2" is fundamentally different in different proof assistants.