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…

In the wake of the present inclusion of programming in mathematics education, which is a feature of curricular revisions in many countries, we have analysed newly inserted programming activities in mathematics textbooks. The aim was to investigate how such activities relate to and potentially affect students' opportunities to learn mathematics.…

We introduce the free web-app PyGgb -- the combination of the well-known programming language Python and the dynamic mathematics system GeoGebra. Motivated by the desire to provide an introduction to Python coding in the familiar context of mathematics and geometry, PyGgb allows GeoGebra constructions to be created using Python code. We outline…

In Spring 2020, the need for redesigning online assessments to preserve integrity became a priority to many educators. Many of us found methods to proctor examinations using Zoom and proctoring software. Such examinations pose their own issues. To reduce the technical difficulties and cost, many Zoom proctored examination sessions were shortened;…