Checks for pedagogy

Grant Sanderson (3blue1brown)
Math's pedagogical curse, JPBM Award Lecture, JMM 2023

Checks for rigor
* Are the definitions unambiguous?
* Has each object in each theorem been given a clear definition?
* Is each claim given a rigourous justification?

Checks for pedagogy
* Do definitions have motivating examples?
* Do proofs feel rediscover-able?
* Is there personality?
* Are there enough diagrams?
* Is relative importance highlighted?