TY  - RPRT
TI  - Proceedings 7th International Workshop on Theorem proving components for Educational software
AU  - Pedro Quaresma
AU  - Walther Neuper
PY  - 2019
DO  - 10.4204/eptcs.290
UR  - https://arxiv.org/abs/1903.12402
ID  - 1903.12402
ER  -