fitch-proofs

Fitch Format Proofs - any resources around?

I am currently studying Fitch Format first order logic proofs. My lecturer follows closely Language, Proof and Logic by Jon Barwise. I am trying to do some proofs but I am having some trouble getting to understand how to do these proofs. As I have already read what Language Proof and Logic has to offer, I'd like to know if there are an...

Fitch Format Proofs - Any automatic solvers around?

Is there any software around that using the Fitch format (used in ), 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? ...