This project has revolved around creating a proof checker in python. This proof checker checks proofs that are written in the Hilbert-style as seen in the book Understanding Symbolic Logic by Klenk. It does a reasonably good job, but could also be expanded upon a great deal. Also, because this was only for a two credit class for one semester there were certain things that I was not able to do simply due to the fact that my time was limited. I will be going over what I did during this semester, some of the research that I did, and explaining some of the basics of formal languages and logic.