Add files via upload

markNZed · Apr 28, 2024 · 48dfefb · 48dfefb
1 parent 83e1c6c
commit 48dfefb
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 0 deletions.
diff --git a/src/notebook/media/videos/notebook/480p30/ComplexGroupScene.mp4 b/src/notebook/media/videos/notebook/480p30/ComplexGroupScene.mp4
diff --git a/src/notebook/media/videos/notebook/480p30/ImpredicativityAnimation.mp4 b/src/notebook/media/videos/notebook/480p30/ImpredicativityAnimation.mp4
diff --git a/src/notebook/media/videos/notebook/480p30/LayeredGraphProjection.mp4 b/src/notebook/media/videos/notebook/480p30/LayeredGraphProjection.mp4
diff --git a/src/notebook/media/videos/notebook/480p30/processism.mp4 b/src/notebook/media/videos/notebook/480p30/processism.mp4
diff --git a/src/notebook/media/videos/notebook/480p30/processism_3D.mp4 b/src/notebook/media/videos/notebook/480p30/processism_3D.mp4