[boston-lisp] wiki of formal proofs

[Peter Olson]

On Sun, 14 Mar 2010 at 14:34:19 -0400, rob levy <r.p.levy at 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 at 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