Resumen de Prooftopia: A database for mathematical tools

Karina Figueroa, Cuauhtémoc Rivera Loaiza, Luis Valero

• 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.