Commit 5e3f5a5499df3af91c5902f3993376e6fdff8c5c Parent 56f7f764d8d3634464d4090b796be66a5df826ef Author Gark Garcia <37553739+GarkGarcia@users.noreply.github.com> Date Sun, 10 Mar 2019 11:53:51 -0300 Added proof.pdf to the repository.