Figueroa, Karina, et al. “Prooftopia: A Database for Mathematical Tools”. Avances En Interacción Humano-Computadora, vol. 1, no. 1, Sept. 2016, pp. 33-34, doi:10.47756/aihc.y1i1.9.