Title: Proof comprehension
Course: Demonstrating STACK (v4.3.7) > Section: Demonstration quizzes

STACK uses computer algebra to assess students' answers, and it limited in the extent to which free-form proof can be assessed. This paper https://arxiv.org/abs/2006.01581 discusses practical assessment of mathematical proof, and this quiz contains some example questions implementing some of the ideas in a real analysis course.