A sample proof by Michael J Klein

https://github.com/michaeljklein