As new technological developments continue to change the educational landscape, it is not an exception in the area of proof and proving. This classroom note introduces the use of one of the trending proofs assistants -- the Lean theorem prover. We first provide a technical account of Lean, then exemplify Lean proofs in propositional logic, number…

Logical statements are prevalent in mathematics, science and everyday life. The most common logical statements are conditionals, 'If H … , then C … ', where 'H' is a hypothesis and 'C' is a conclusion. Reasoning about conditionals depends on four main conditional contexts (intuitive, abstract, symbolic or counterintuitive). This study tested a…

This study sets for itself the task of constructing a learning trajectory for the fundamental theorem of calculus (FTC) that takes into account the interaction with an educational digital tool. Students were asked to explain the connections between interactive and multiple-linked representations in an educational digital tool, and to conjecture…