Math 160 Project

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.

Screen Shot 2016-02-17 at 1.28.09 PM


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )


Connecting to %s