1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
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…