Openproof – A Flexible Framework for Heterogeneous Reasoning Authors: John Etchemendy, Dave Barker-Plummer, Albert Liu, Michael Murray, Nik Swoboda publication
Graphical Revelations: Comparing Students’ Translation Errors in Graphics and Logic Authors: John Etchemendy, Richard Cox, Robert Dale, Dave Barker-Plummer publication
