The Educational Proof Assistant Waterproof in an Introductory Proof Course: Proof Construction and Learning Processes

Pim Otte, Rogier Bos, Johan Commelin +1

We study the use of an educational proof assistant in an introductory proof course through a quasi-experiment in a varied setting: multiple teachers, students with different study…