Figueroa M., Karina, Cuauhtémoc Rivera L., & Luis Valero E..
"Prooftopia: A database for mathematical tools." <em>Avances en Interacción Humano-Computadora</em> [Online], 0.1 (1): 33-34. Web. 24 Apr. 2024