Prooftopia: A database for mathematical tools

Main Article Content

Karina Figueroa M. Cuauhtémoc Rivera L. Luis Valero E.


In this paper, we outline the current implementation of a database of mathematical theorems and their corresponding proofs which can be done via the web. We also provide a brief description of the current work for its complete redesign.

Article Details

How to Cite
FIGUEROA M., Karina; RIVERA L., Cuauhtémoc; VALERO E., Luis. Prooftopia: A database for mathematical tools. Avances en Interacción Humano-Computadora, [S.l.], v. 1, n. 1, p. 33-34, sep. 2016. Available at: <>. Date accessed: 17 feb. 2018.
Work in Progress