[math-fun] Interactive polyhedron viewer