I never knew he made a whole open source project for it, nor that it was even a library doing the animation. I thought he hand-animated his videos. Brilliant.
If you want to see the power of PowerPoint math animation, see Mathologer.
What made his videos catch my eye was the plotting of the vector text fonts, I love that effect. I'm pretty sure he used the Hershey fonts in early videos.