Searching for heavy neutral leptons at LHCb and SHiP