Papers
Papers modules in the audited public canon. Hand-written Lean theorems, sorry-free, with no domain-specific axioms.
| module | thm | lemma | def | lines | papers |
|---|---|---|---|---|---|
Papers.ClaimBoundaries |
0 | 0 | 5 | 206 | — |
Papers.DIF.AmplitudeHypothesis |
1 | 0 | 3 | 55 | — |
Papers.DIF.CausalClosure |
3 | 0 | 1 | 65 | — |
Papers.DIF.ScaleFreeForced |
0 | 0 | 2 | 66 | — |
Papers.DraftV1 |
16 | 1 | 11 | 327 | — |
Papers.GCIC.ApproximateHolography |
6 | 2 | 0 | 146 | — |
Papers.GCIC.BekensteinFromLedger |
13 | 0 | 4 | 174 | — |
Papers.GCIC.BrainHolography |
11 | 0 | 4 | 355 | — |
Papers.GCIC.DiscreteGauge |
5 | 3 | 3 | 178 | — |
Papers.GCIC.GCICDerivation |
15 | 0 | 0 | 161 | — |
Papers.GCIC.GraphRigidity |
7 | 0 | 0 | 115 | — |
Papers.GCIC.LocalCacheForcing |
11 | 2 | 0 | 166 | — |
Papers.GCIC.ReducedPhasePotential |
12 | 1 | 3 | 171 | — |
Papers.GCIC.Thermodynamics |
11 | 2 | 3 | 150 | — |