FIGUEROA, Karina; RIVERA, Cuauhtémoc; VALERO, Luis. Prooftopia: A database for mathematical tools. Avances en Interacción Humano-Computadora, [S. l.], v. 1, n. 1, p. 33–34, 2016. DOI: 10.47756/aihc.y1i1.9. Disponível em: https://revistaaihc.mx/index.php/aihc/article/view/9. Acesso em: 17 sep. 2024.