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…

The reasons for teaching programming in school are indeed manifold. Programming can for example be utilized as a vehicle for understanding and learning particular mathematical subject matter, or as a tool for solving mathematical problems. In this paper, however, we propose to utilize programming as a vehicle for developing mathematical…

Computational thinking (CT) is becoming increasingly important as a learning content. Subject-integrated approaches aim to develop CT within other subjects like mathematics. The question is how exactly CT can be integrated and learned in mathematics classrooms. In a case study involving 12 sixth-grade learners, CT activities were explored that…

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;…

By integrating computational thinking (CT) based mathematical reasoning with early childhood education through programming a dinosaur game in Scratch, this study aims to enhance the pedagogical skills of pre-service teachers by using learning objects (LOs). Also, explores frameworks for LOs construction to align with pedagogical goals, emphasizing…