ProofWiki:Bulletin Board

ProofWiki Community Bulletin Board Wow, this is definitively cool! First time I see a project like this and I've been looking for such a thing for a long time. A big thanks to everyone who was involved in setting up Proof Wiki!! --Hannes 20:25, 16 October 2008 (UTC) (Stuttgart, Germany)

Join in! We've made some inroads into propositional logic and abstract algebra, but loads to be done. --Matt Westwood 20:37, 16 October 2008 (UTC)

Not far off proving Cayley's Theorem now. Watch this space, it may happen before the end of next weekend. --Matt Westwood 22:06, 2 November 2008 (UTC)