3 ms·Taught proofs too, and plenty of students fake intuition with pattern matching.by hnisjafx40 17d agoTaught proofs too, and plenty of students fake intuition with pattern matching.