provides funding for Search for heavy neutral lepton production in K decays to positrons Article Search for heavy neutral leptons at the NA62 experiment at CERN Article Searches for lepton number violating K decays Article