title: Fitch Format Proofs - Any automatic solvers around?
body: <p>Is there any software around that using the Fitch format (used in <a href="https://rads.stackoverflow.com/amzn/click/com/157586374X" rel="noreferrer" rel="nofollow noreferrer">Language, Proof and Logic</a>), 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?</p>