Drag and Drop to Proof: um jogo digital para demonstrar teoremas

Mathematical proofs are an important aspect in the degree ofmathematicians, and present even in professional degree inrelated areas. Thus, this work sought to appropriate conceptsused in training environments aimed at marathons ofprogramming and work with the use of metaphors toassociate different actions to the process of writing amathematical demonstration, in order to develop a tool tosupport the learn of "how to write a proof in mathematics".This feature involves arranging chunks of text from a proof, anaction considered more complex than reading a proof andusually simpler than writing it yourself. Such dynamicsprovided, above all, the insertion of some playful elementsthat characterize this resource for each mathematicalstatement, as a kind of minigame.