This exploratory study reports on characteristics of proof production and proof writing observed in the work of first-year university students who took part in workshops on the theorem prover LEAN (https://leanprover.github.io). These workshops were voluntary and offered alongside a transition to proof module in a UK university. Through…

A small group of interested upper secondary education students participated in a workshop where they created a particle-based physics engine and used the engine to implement a hanging cloth simulation and a two-dimensional heat diffusion model of their own creation. During the implementation of their models, learning opportunities present…