Certainly not for introductory courses. There's already too much on the table - how to prove, how to program, and the base material itself. I believe that's th

Certainly not for introductory courses. There's already too much on the table - how to prove, how to program, and the base material itself. I believe that's the experience of faculty who've tried as well - it's fine for advanced students, but a waste of instructional time for the average pupil.