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.
I have started programming my project. I decided that I was going to do this in java and make everything from scratch. To make the math symbols look better, I decided to have my program generate a laTex file with the theorem and the proof. This makes the end result a lot easier to read. So far I have been working on coming up with a bunch of different test cases so I can make my program work with as many special cases as possible. What I have left to work on is implementing these cases and trying to come up with code that will work as generally as possible. I'm sure that I will run into some problems along the way with this. But what I have done so far has been going pretty well. So, hopefully the rest will go as smoothly.