Figueroa, Karina, Cuauhtémoc Rivera, and Luis Valero. “Prooftopia: A Database for Mathematical Tools”. Avances en Interacción Humano-Computadora 1, no. 1 (September 21, 2016): 33–34. Accessed January 13, 2025. https://revistaaihc.mx/index.php/aihc/article/view/9.