Saturated nitrogen heterocycles are among the most significant structural components in small-molecule pharmaceuticals. Herein, a protocol for the construction of enantiopure 2-azabicyclo[3.1.1]heptane derivatives by a stereospecific intermolecular formal cycloaddition of aziridines with bicyclo[1.1.0]butanes is described. The reaction is run by using B(C6F5)3 as a catalytic additive to give access to a library of enantiopure 2-azabicyclo[3.1.1]heptane derivatives (37 examples) under mild and operationally simple conditions. Successful scale-up reactions, mechanistic experiments, density functional theory (DFT) calculations and synthetic applications are presented.