QFT
QFT modules in the audited public canon. Hand-written Lean theorems, sorry-free, with no domain-specific axioms.
| module | thm | lemma | def | lines | papers |
|---|---|---|---|---|---|
QFT |
0 | 0 | 1 | 76 | — |
QFT.Anomalies |
18 | 0 | 11 | 237 | — |
QFT.CPTInvariance |
12 | 0 | 9 | 279 | — |
QFT.Confinement |
8 | 0 | 11 | 250 | — |
QFT.Decoherence |
6 | 0 | 15 | 260 | — |
QFT.ElectroweakScaleStructure |
7 | 0 | 1 | 75 | — |
QFT.GaugeInvariance |
10 | 0 | 12 | 270 | — |
QFT.HiggsMechanism |
15 | 0 | 8 | 241 | — |
QFT.LambShift |
13 | 0 | 19 | 214 | — |
QFT.NoetherTheorem |
11 | 0 | 11 | 290 | — |
QFT.PauliExclusion |
22 | 0 | 9 | 234 | — |
QFT.RunningCouplings |
13 | 2 | 15 | 215 | — |
QFT.SMatrixUnitarity |
7 | 0 | 6 | 219 | — |
QFT.SpinStatistics |
18 | 0 | 16 | 402 | — |
QFT.UVCutoff |
6 | 0 | 18 | 250 | — |
QFT.Unitarity |
10 | 0 | 2 | 209 | — |
QFT.VacuumFluctuations |
10 | 0 | 8 | 273 | — |
QFT.VacuumStability |
4 | 0 | 1 | 68 | — |