4 citations · 7 across the 2 of their papers we have counts for
1 paper · 1 filter
Josje Lodder, Bastiaan Heeren, Johan Jeuring
Structural induction is a proof technique that is widely used to prove statements about discrete structures. Students find it hard to construct inductive proofs, and when learning…