22 citations · 41 across the 5 of their papers we have counts for
Showing cs.CYShow all
2 papers · 1 filter
cs.CY2022★ 15 cited
Efficiency of Learning from Proof Blocks Versus Writing Proofs
Seth Poulsen, Yael Gertner, Benjamin Cosman +2
Proof Blocks is a software tool that provides students with a scaffolded proof-writing experience, allowing them to drag and drop prewritten proof lines into the correct order inst…
cs.CY2021★ 22 cited
Proof Blocks: Autogradable Scaffolding Activities for Learning to Write Proofs
Seth Poulsen, Mahesh Viswanathan, Geoffrey L. Herman +1
Proof Blocks is a software tool which enables students to write proofs by dragging and dropping prewritten proof lines into the correct order. These proofs can be graded completely…