Animation engine for explanatory math videos

Code for the manim-generated scenes used in 3blue1brown videos