Personal web page, located at http://proof.github.com/me