[Myrmornis]

It's not just linear algebra, 3blue1brown also has an entire series on undergraduate calculus, and series on Statistics, Linear Algebra II and Group Theory are in the works. Plus a large number of excellent videos on miscellaneous math topics.

I think I understand what you're saying -- one needs more than just cool videos and cool intuition. You need to do exercises. This is a point made multiple times in those very videos.

But, the intuition provided in those videos is absolutely excellent. As an example, look at the explanation of change-of-basis in the linear algebra I series.

[haskellandchill]

Ah, the videos come with pointers to exercises? I'm quite excited about https://www.edukera.com/ and possibilities for interactive learning through automated theorem proving. Thanks!

[Myrmornis]

Actually, there are not many pointers to exercises. I believe they may be planning to add some written materials, so maybe in the future, but not currently.

The videos suggest pausing and trying to figure the next bit out yourself and a couple of the videos do end with a suggestion to prove something yourself.