Leram - Experimentos Mentais na Educação Matemática. Uma Analogia com Provas Matemáticas Formais