mirror of the wiki/proof content at https://ghilbert-app.appspot.com/ (as of 2013, updated manually only; might be out of date)