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...