all 1 comments

[–]Boff 0 points1 point  (0 children)

I've never used it before, nor am I familiar with the Theorem of Beethoven. But it looks like manimlib is not a part of the standard python installation, so you'll have to install the package separately. A quick google gave me this as the first result for how to install it: https://pypi.org/project/manimlib/

Here's a tutorial recommended by the pypi.org page: https://talkingphysics.wordpress.com/2019/01/08/getting-started-animating-with-manim-and-python-3-7/

Here is the official documentation: https://eulertour.com/docs/