[willurd]

Grant (the 3Blue1Brown guy) has an uncanny ability to explain difficult concepts and the fundamental intuition behind them. In many of his videos, he explains topics from the perspective of a person inventing that topic (such as in his first Calculus video [1]). I can't recommend his videos enough.

[1] https://www.youtube.com/watch?v=WUvTyaaNkzM&list=PLZHQObOWTQ...

[haskellandchill]

It works for a lot of people, I'm just looking for something else, exercise-based computer-checked proofs to teach mathematics, something like that. Want it bad.