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…

How an author communicates with a reader is a central consideration in the critical examination of any text. When considering the communication of ideas from young people whose voices are seldom heard, the journey from author to audience has particular significance. The construction of children and young people as 'authors' is important,…