Neutrino Mass: Formal Verification of Oscillation, Seesaw, and Cosmological Constraints
We present a formally verified treatment of neutrino mass physics, establishing 15 theorems covering oscillation phenomenology, mass splittings, cosmological constraints, seesaw mechanisms, and leptogenesis compatibility.
Verified
15 claims
2,230 words