Gap45
Gap45 modules in the audited public canon. Hand-written Lean theorems, sorry-free, with no domain-specific axioms.
| module | thm | lemma | def | lines | papers |
|---|---|---|---|---|---|
Gap45 |
3 | 17 | 1 | 138 | — |
Gap45.AddGroupView |
0 | 1 | 0 | 23 | — |
Gap45.Beat |
0 | 12 | 3 | 82 | — |
Gap45.Derivation |
19 | 9 | 10 | 218 | — |
Gap45.GroupView |
0 | 1 | 0 | 23 | — |
Gap45.PhysicalMotivation |
12 | 7 | 11 | 299 | — |
Gap45.RecognitionBarrier |
10 | 0 | 2 | 141 | — |
Gap45.ShimmerFactor |
14 | 0 | 6 | 230 | — |
Gap45.SyncMinimization |
42 | 0 | 4 | 181 | — |
Gap45.TimeLag |
0 | 2 | 0 | 18 | — |