Teaching logic with a proof assistant Posted by Mike Shulman, at matheducators.stackexchange.com, 15 Mar 2014 I am thinking about teaching a university-level "introduction to proofs" class (mainly for math and CS majors) making use of a…