Create index.html

markNZed · Apr 26, 2024 · 759a624 · 759a624
1 parent 8e23ebd
commit 759a624
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/index.html b/index.html
@@ -0,0 +1,2 @@
+<video controls width="250">
+  <source src="https://github.com/markNZed/codespaces-manim/raw/main/notebooks/media/videos/notebooks/480p30/ImpredicativityAnimation.mp4" type="video/mp4" />