ProofWiki:Community Portal

From ProofWiki

Jump to: navigation, search

Welcome to the community portal. This is the place to find out what is happening on ProofWiki. Learn what tasks need to be done, and what is currently happening on ProofWiki.




Contents:

You might be looking for...


Community bulletin board

Post your ProofWiki-related news and announcements here!

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)

Help out

ProofWiki is a great resource for mathematical proofs but can not maintain itself. If you want to help ProofWiki expand and grow check out the lists of things below.

[edit] Things to do

[edit] Fix-up projects

Recently Added Proofs