Figueroa K, Rivera C, Valero L. Prooftopia: A database for mathematical tools. Avances en IHC [Internet]. 2016 Sep. 21 [cited 2024 Sep. 17];1(1):33-4. Available from: https://revistaaihc.mx/index.php/aihc/article/view/9