Figueroa, K. et al. 2016. Prooftopia: A database for mathematical tools. Avances en Interacción Humano-Computadora. 1, 1 (Sep. 2016), 33–34. DOI:https://doi.org/10.47756/aihc.y1i1.9.