Heavy neutral leptons (HNLs) are particles beyond the Standard Model (SM), typically introduced to explain the small observed neutrino masses. In this talk, we discuss the theory foundations of HNL extensions of the SM, as well as the present status of experimental searches for them at the LHC.