Figueroa, Karina, Cuauhtémoc Rivera, and Luis Valero. 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.