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…

This paper starts by reporting on the design and trialling of an informal, low-stakes test designed to assess the knowledge of grammar terms of pre-service primary school teachers following the UK's National Curriculum, the results of which were used to inform the design of a series of optional grammar classes. The test proved surprisingly…

Concern exists among both academics and employers regarding the quality of graduates' writing. The complaint, as it is most commonly phrased, is that young graduates can no longer "string a simple sentence together". If true, this is a problem: the quality of students' writing seriously affects their chances in the job market. In this…