Manim is an animation engine for creating precise, programmatic animations, primarily used for...