Figueroa, K., Rivera, C. and Valero, L. (2016) “Prooftopia: A database for mathematical tools”, Avances en Interacción Humano-Computadora, 1(1), pp. 33–34. doi: 10.47756/aihc.y1i1.9.