TY - RPRT TI - Efficiency of Learning from Proof Blocks Versus Writing Proofs AU - Seth Poulsen AU - Yael Gertner AU - Benjamin Cosman AU - Matthew West AU - Geoffrey L. Herman PY - 2022 DO - 10.1145/3545945.3569797 UR - https://arxiv.org/abs/2211.09609 ID - 2211.09609 ER -