Magnetic Carrollian gravity from the Carroll algebra

We explicitly establish the equivalence between the magnetic Carrollian limit of Einstein gravity defined through the Hamiltonian formalism and the Carrollian theory of gravity defined through a gauging of the Carroll algebra along the lines of standard Poincaré (or (A)dS) gaugings.