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 study investigates the extent to which microfeatures -- such as basic text features, readability, cohesion, and lexical diversity based on specific word lists -- affect Chinese EFL writing quality. Data analysis was conducted using natural language processing, correlation analysis and stepwise multiple regression analysis on a corpus of 268…

Whilst historically there has been a widespread consensus that teaching grammar has no impact on students' attainment in writing, more recent research suggests that where a functionally oriented approach to grammar is meaningfully embedded within the teaching of writing, significant improvements in writing can be secured. A recent study, using a…