What tools does a person use to make a video like this? I've been wanting to do the same on my topic of expertise for a while now.
He creates each animation using a set of Python tools and libraries he wrote. You can find them published here: https://github.com/3b1b/manim