A Computational Toolkit for Engagement and Scalable Assessment in a Large Logic Course

Stephen M. Watt

Large required courses in theoretical computer science face two related challenges: helping students engage with abstract material and supporting reliable student assessment at sca…