aboutsummaryrefslogtreecommitdiff
path: root/proof.md
AgeCommit message (Expand)Author
2014-11-28Cleaned the markdown file so that it can be converted to TeX.Cameron Adamez
2014-11-28Trying to get the headers right.Cameron Adamez
2014-11-28Adding a Markdown file that was generated via Pandoc.Cameron Adamez