@Inproceedings{EPTCS313.5, author = {From, Asta Halkj{\ae}r and Jensen, Alexander Birch and Schlichtkrull, Anders and Villadsen, J{\o}rgen}, year = {2020}, title = {Teaching a Formalized Logical Calculus}, editor = {Quaresma, Pedro and Neuper, Walther and Marcos, Jo\~ao}, booktitle = {{\rm Proceedings 8th International Workshop on} Theorem Proving Components for Educational Software, {\rm Natal, Brazil, 25th August 2019}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {313}, publisher = {Open Publishing Association}, pages = {73-92}, doi = {10.4204/EPTCS.313.5}, }