vdash - Math wiki of the future?

I saw this article on slashdot about vdash, a wiki for math proofs being built by Cameron Freer, a postdoc instructor of pure mathematics at MIT. The video of his talk for O'Reilly's Ignite Boston sums it up well.

The wiki does not appear to be open to the public yet, but he says in the video you can contact him to get involved in the prototype. According to the talk, any proof added to the site would be checked by a logical proof program (I assume Isabelle) to make sure that it is true. I wonder what the rejection process would look like. I assume there will also be humans in the loop doing moderation of the site, so I'm wondering who they'll allow to take part in that moderation.