The 2-dimensional stable homotopy hypothesis

We prove that the homotopy theory of Picard 2-categories is equivalent to that of stable 2-types.