slides are now real Manim clips + interactive widget below

e5a1b70

verified

jacooob521 commited on Jun 10