ProofWiki:Bulletin Board

ProofWiki Community Bulletin Board If you noticed that the site was down for a bit earlier, that was me! I upgraded to a new version of the software, but forgot to redirect traffic to a readonly version. All should be good now though, if you notice any problems let me know. --Joe (talk) 14:15, 15 June 2009 (UTC)

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)

I will be updating ProofWiki to the newest version of the MediaWiki software either later today or this weekend. I'm currently running some tests on it now to make sure it works with our extensions are everything. Once that is done I'll make the switch. So if you notice anything strange or weird just wait a few minutes then try again. --Joe (talk) 19:31, 6 March 2009 (UTC)