slides are now real Manim clips + interactive widget below e5a1b70 verified jacooob521 commited on Jun 10
