Philosophy Forums


Free Proof Checking Software
Does anyone know of any?

PrintPrint


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
quote post
#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.
Download thread as


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