I am now finished working on my project for the semester. I ended up with something that I am okay with, but I think I would have liked it to be better than it is. But because of the time constraints, I tried to make it as good as possible with the time that we had. Right now the input to my program is the string that you want to prove and the output is a tex file that produces a pdf of the proof. I decided to do this because math symbols are much easier to read this way rather than trying to express them with normal characters. My program can only handle very simple proofs, so something I would like to change if I had more time would be to test more cases and make adjustments for my program to be able to prove more complex theorems. I have included an example output from my program.