qedeq

qedeq is a website that is attempting to put all mathematics in a decentralized, verified and easily readable form.

Really cool, I love the idea of mathematics as just the manipulation of strings, a la Godel.