Пройдите по ссылке и выполните инструкции. Запаситесь терпением, manim требует много зависимостей для работы, установка всех их займёт время.
Теперь вы можете скопировать этот репозиторий. После чего запустите скрипт run.bat для установки нужных python-библиотек.
Осталось запустить main.py и учиться.
Если анимация создаётся слишком долго, вы можете настроить параметры config.frame_rate, config.pixel_height и config.pixel_width в файле animation.py.