@Inproceedings{EPTCS328.1, author = {Ayala-Rinc\'on, Mauricio and de Lima, Thaynara Arielly}, year = {2020}, title = {Teaching Interactive Proofs to Mathematicians}, editor = {Quaresma, Pedro and Neuper, Walther and Marcos, Jo\~ao}, booktitle = {{\rm Proceedings 9th International Workshop on} Theorem Proving Components for Educational Software, {\rm Paris, France, 29th June 2020}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {328}, publisher = {Open Publishing Association}, pages = {1-17}, doi = {10.4204/EPTCS.328.1}, }