Figueroa, K.; Rivera, C.; Valero, L. Prooftopia: A Database for Mathematical Tools. Avances en IHC 2016, 1, 33-34.