Free Proof Checking Software: Philosophy Forums

Free Proof Checking Software

ClaudeHooper
Student

Usergroup: Members
Joined: Aug 10, 2009

Total Topics: 2
Total Posts: 53

Posted 10/16/09 - 09:26 AM: Subject: Free Proof Checking Software	#1
I'm wondering if there is any free software out there that checks the kind the proofs that people ask for here in the Logic Homework sub-forum? That way, it would be easier to type in a proof and know that you've followed all the rules correctly.

Sorry, you don't have permission to post. Log in, or register if you haven't yet.