K. Figueroa, C. Rivera, and L. Valero, “Prooftopia: A database for mathematical tools”, Avances en IHC, vol. 1, no. 1, pp. 33–34, Sep. 2016.