TY  - RPRT
TI  - The Sequent Calculus Trainer - Helping Students to Correctly Construct Proofs
AU  - Arno Ehle
AU  - Norbert Hundeshagen
AU  - Martin Lange
PY  - 2015
UR  - https://arxiv.org/abs/1507.03666
ID  - 1507.03666
ER  -