shlomif/mathventures-3d-out-of-4d archive