On Sun, 14 Mar 2010 at 14:34:19 -0400, rob levy r.p.levy@gmail.com write:

Does anyone remember a talk in which the presenter mentioned a wikipedia-style encyclopedia of mathematical proofs, in which all expressions added to the system are automatically checked for consistency? What was this project called?

Thanks, Rob

Perhaps you're thinking of http://vdash.org

Cameron Freer freer@mit.edu gave presentations about this at the MIT E-Club and at Ignite Boston 4. Unfortunately the Web site still has a Coming Soon! notice on it that is quite old.

Peter Olson