“…On the simulation sides, a couple of codes has established themselves as dominant players, such as MCEq, which is widely used for the muon flux predictions e.g. [46], and PROPOSAL a lepton-propagator [47]. The arrival of CORSIKA 8 [48] is also eagerly awaited by the neutrino community.…”