Figueroa, K., Rivera, C., & Valero, L. (2016). Prooftopia: A database for mathematical tools. Avances En Interacción Humano-Computadora, 1(1), 33–34. https://doi.org/10.47756/aihc.y1i1.9