ProofWiki:Current events

Currently, we are trying to get the site up and running! That's about as current as it gets. If you want to help us feel free to post proofs and make changes. A small list of things that need doing can be found here.