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 December 6, 2025. https://www.revistaaihc.mx/index.php/aihc/article/view/9.