Pith. sign in

Constants

Named constants in RS-native units. ℏ = φ⁻⁵, the α⁻¹ band, gravitational coupling, ℓ₀, τ₀, all as functions of φ.

45 modules · 418 thm/lemma · 8201 lines
module thm lemma def lines papers
Constants 5 46 15 604 184
Constants.Alpha 0 1 4 143 -
Constants.AlphaDerivation 22 0 21 295 -
Constants.AlphaExponentialForm 13 0 2 316 -
Constants.AlphaGenesis 0 0 0 63 -
Constants.AlphaGenesis.CalibrationForcing 8 0 1 202 -
Constants.AlphaGenesis.CurvatureJCostVerdict 4 0 2 130 -
Constants.AlphaGenesis.KappaGammaIrreducibility 13 0 3 227 -
Constants.AlphaGenesis.LoopCertificate 6 0 4 171 -
Constants.AlphaGenesis.MeasurementVerdict 5 4 5 249 -
Constants.AlphaGenesis.PatternForcing 6 0 1 169 -
Constants.AlphaGenesis.ResidualTarget 7 0 4 171 -
Constants.AlphaGenesis.ResummationForcing 8 0 1 211 -
Constants.AlphaGenesis.SpectralForcing 3 0 0 146 -
Constants.AlphaGenesis.U1Normalization 8 0 5 180 -
Constants.AlphaHigherOrder 18 0 24 231 -
Constants.AlphaNumericsScaffold 1 0 1 35 -
Constants.AlphaPrecision 7 0 3 75 -
Constants.BoltzmannConstant 6 0 2 203 -
Constants.Codata 0 6 3 47 -
Constants.CurvatureCostForm 5 0 2 126 -
Constants.CurvatureSpaceDerivation 22 0 10 455 -
Constants.Derivation 7 19 13 270 -
Constants.Dimensions 0 0 8 129 -
Constants.ElectroweakVEVStructure 12 0 2 171 -
Constants.EulerMascheroni 10 0 0 108 -
Constants.ExternalAnchors 0 7 25 262 -
Constants.FermiConstantScoreCard 8 0 2 119 -
Constants.FineStructureConstant 5 0 0 73 -
Constants.GapWeight 2 0 5 189 -
Constants.GapWeight.Formula 1 3 6 156 -
Constants.GapWeight.Projection 4 5 8 183 -
Constants.GapWeightNumericsScaffold 2 0 0 26 -
Constants.GravitationalConstant 2 0 1 56 -
Constants.HartreeRydbergScoreCard 12 0 3 155 -
Constants.ILG 0 3 2 52 -
Constants.KDisplay 9 5 5 239 -
Constants.KDisplayCore 1 3 3 51 -
Constants.LambdaRecDerivation 17 2 14 470 -
Constants.NativeDimensionalBoundary 8 0 3 149 -
Constants.PlanckScaleMatching 22 0 13 373 -
Constants.ProtonElectronMassRatio 4 0 1 78 -
Constants.RSNativeUnits 3 13 38 354 -
Constants.RSUnitsHelpers 0 1 0 11 28
Constants.StrongCoupling 4 0 2 78 -

full source mirrored from github.com/jonwashburn/shape-of-logic