The Sequent Calculus Trainer - Helping Students to Correctly Construct Proofs. - Arno Ehle; Norbert Hundeshagen; Martin Lange (CoRR, 2015)

The Sequent Calculus Trainer with Automated Reasoning - Helping Students to Find Proofs. - Arno Ehle; Norbert Hundeshagen; Martin Lange (ThEdu@CADE, 2017)