Arrasta o X é um projeto para auxiliar a escrita de demonstrações matemáticas. Isso possibilita que você aplique seus conhecimentos às estratégias viáveis enquanto adquire o vocabulário necessário.

Trabalhamos transformando demonstrações matemáticas encontradas em livros-textos para graduação, em um sistema de peças que permitam justapor seus textos em demonstrações similares.