Home

Jump to bottom

markNZed edited this page Apr 24, 2024 · 9 revisions

Welcome to the codespaces-manim wiki!

ImpredicativityAnimation.mp4

https://github.com/markNZed/codespaces-manim/raw/main/notebooks/media/videos/notebooks/480p30/ImpredicativityAnimation.mp4

https://github.com/markNZed/codespaces-manim/blob/main/notebooks/media/videos/notebooks/480p30/ImpredicativityAnimation.mp4