RT DW A1 Poulsen, Seth. T1 Proof Blocks: Autogradable Scaffolding Activities for Learning to Write Proofs