Masses
Masses modules in the audited public canon. Hand-written Lean theorems, sorry-free, with no domain-specific axioms.
| module | thm | lemma | def | lines | papers |
|---|---|---|---|---|---|
Masses.Anchor |
10 | 0 | 10 | 215 | - |
Masses.BaselineDerivation |
24 | 0 | 11 | 320 | - |
Masses.ElectroweakMasses |
9 | 3 | 8 | 145 | - |
Masses.ExcitationOrdering |
29 | 0 | 4 | 351 | - |
Masses.FermiFromRSInputs |
4 | 0 | 3 | 85 | - |
Masses.GenerationTorsionBridge |
31 | 3 | 5 | 445 | - |
Masses.MassHierarchy |
5 | 0 | 1 | 68 | 4 |
Masses.MassLaw |
3 | 0 | 2 | 82 | - |
Masses.SMVerification |
15 | 0 | 10 | 178 | - |
Masses.TorsionForcing |
31 | 0 | 5 | 459 | - |
Masses.VEVConsistency |
5 | 0 | 5 | 178 | - |
Masses.Verification |
23 | 15 | 14 | 414 | - |
Masses.ZMapForcing |
9 | 0 | 1 | 128 | - |