Fitch Format Proofs - Any automatic solvers around?

computer-science logic first-order-logic fitch-proofs
devoured elysium picture devoured elysium · Jun 29, 2010 · Viewed 14.4k times · Source

Is there any software around that using the Fitch format (used in Language, Proof and Logic), allows one to put a specific set of premises and goals and have it show us the full list of steps needed to solve the problem?

Answer

Joseph Vidal-Rosset picture Joseph Vidal-Rosset · Dec 29, 2011

http://teachinglogic.liglab.fr/DN/index.php

Related questions

What is a plain English explanation of "Big O" notation?

I'd prefer as little formal definition as possible and simple mathematics.

Read More
What are the differences between NP, NP-Complete and NP-Hard?

What are the differences between NP, NP-Complete and NP-Hard? I am aware of many resources all over the web. I'd like to read your explanations, and the reason is they might be different from what's out there, or there is …

Read More
What is polymorphism, what is it for, and how is it used?

What is polymorphism, what is it for, and how is it used?

Read More