Comment by jlelonm

Oh my goodness, you literally wrote the ideas I was thinking about from a learning perspective.

I wrote about very similar things from a teaching perspective here: https://lelon.io/blog/how-to-teach-math

In fact, I've thought a lot about how to generalize these techniques to a data structure (i.e. knowledge graph) so that anyone can zoom in or out to whatever level of abstraction they please:

https://lelon.io/blog/boosting-scientific-productivity-again

Would love to chat sometime!