TY - RPRT TI - Proof Blocks: Autogradable Scaffolding Activities for Learning to Write Proofs AU - Seth Poulsen AU - Mahesh Viswanathan AU - Geoffrey L. Herman AU - Matthew West PY - 2022 DO - 10.1145/3502718.3524774 UR - https://arxiv.org/abs/2106.11032 ID - 2106.11032 ER -