Flight
Flight modules in the audited public canon. Hand-written Lean theorems, sorry-free, with no domain-specific axioms.
| module | thm | lemma | def | lines | papers |
|---|---|---|---|---|---|
Flight |
0 | 0 | 0 | 26 | — |
Flight.Falsifiers |
0 | 0 | 4 | 91 | — |
Flight.Geometry |
0 | 5 | 1 | 156 | — |
Flight.GravityBridge |
2 | 0 | 17 | 208 | — |
Flight.Medium |
0 | 0 | 2 | 78 | — |
Flight.Pressure |
0 | 1 | 2 | 67 | — |
Flight.Report |
0 | 0 | 1 | 55 | — |
Flight.Schedule |
1 | 2 | 1 | 114 | — |
Flight.SolidState.VirtualRotor |
0 | 0 | 4 | 65 | — |
Flight.TeslaTurbine |
14 | 0 | 3 | 250 | — |
Flight.Thrust |
0 | 0 | 2 | 45 | — |