@Inproceedings{EPTCS290.1, author = {Schlichtkrull, Anders and Villadsen, J{\o}rgen and From, Andreas Halkj{\ae}r}, year = {2019}, title = {Students' Proof Assistant (SPA)}, editor = {Quaresma, Pedro and Neuper, Walther}, booktitle = {{\rm Proceedings 7th International Workshop on} Theorem proving components for Educational software, {\rm Oxford, United Kingdom, 18 july 2018}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {290}, publisher = {Open Publishing Association}, pages = {1-13}, doi = {10.4204/EPTCS.290.1}, }