ProofWiki:Current events

Currently, we are trying to get the site up and running! That's about as current as it gets.