Is there any software around that using the Fitch format (used in [Language, Proof and Logic](https://rads.stackoverflow.com/amzn/click/com/157586374X)), 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?