Marek Materzok

Easyprove: a tool for teaching precise reasoning

2015 · arXiv (Cornell University)

Teaching precise mathematical reasoning can be very hard. It is very easy for a student to make a subtle mistake in a proof which invalidates it, but it is often hard for the teacher to …