Proof comprehension
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.
Grading method: Highest grade