Nuclear
Nuclear modules in the audited public canon. Hand-written Lean theorems, sorry-free, with no domain-specific axioms.
| module | thm | lemma | def | lines | papers |
|---|---|---|---|---|---|
Nuclear.BindingEnergy |
12 | 0 | 4 | 140 | — |
Nuclear.BindingEnergyFromPhiLadder |
10 | 0 | 7 | 176 | — |
Nuclear.BindingEnergyPeakScoreCard |
5 | 0 | 0 | 64 | — |
Nuclear.IslandOfStabilityStructure |
3 | 0 | 1 | 25 | — |
Nuclear.NeutronLifetimeStructure |
7 | 0 | 3 | 66 | — |
Nuclear.NeutronStarEOSStructure |
3 | 0 | 1 | 25 | — |
Nuclear.NuclearForceStructure |
5 | 0 | 1 | 38 | — |
Nuclear.Octave |
0 | 0 | 5 | 50 | — |
Nuclear.QCDToNuclearBridge |
13 | 0 | 6 | 147 | — |
Nuclear.RProcessYieldsStructure |
3 | 0 | 1 | 25 | — |