A sample proof by Michael J Klein
https://github.com/michaeljklein
Source code
On Github
.