aboutsummaryrefslogtreecommitdiff
path: root/proof.md
AgeCommit message (Expand)Author
2019-03-11Fix weird cruft at the top of the markdownHEADmasterD Delmar Davis
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