I am now working on another project for Dr. Friedman in the Math department. We are working on using the software for the book she uses to teach her Math Logic course. I was able to get the software to run on my macbook, but I am still having trouble setting it up on her office computer. It is blocked because of some security settings, I just have to poke around and figure out how to unblock it. Here’s a picture of the “Proof Designer” on my running on my computer.