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 September 17, 2024. https://revistaaihc.mx/index.php/aihc/article/view/9.