Answers are grounded in this paper and cite their sources.
We discuss a practical method for assessing mathematical proof online. We examine the use of faded worked examples and reading comprehension questions to understand proof. By breaking down a given proof, we formulate a checklist that can be used to generate comprehension questions which can be assessed automatically online. We then provide some preliminary results of deploying such questions.
No takes yet. Share an insight, caveat, or question.
Bickerton et al. (2021) studied this question.
Synapse has enriched 10 related papers. Consider them for comparative context: