ClassicalBridge
ClassicalBridge modules in the audited public canon. Hand-written Lean theorems, sorry-free, with no domain-specific axioms.
| module | thm | lemma | def | lines | papers |
|---|---|---|---|---|---|
ClassicalBridge.CoarseGrain |
1 | 0 | 3 | 47 | — |
ClassicalBridge.Fluids.Bridge |
0 | 0 | 0 | 60 | — |
ClassicalBridge.Fluids.CPM |
0 | 0 | 0 | 35 | — |
ClassicalBridge.Fluids.CPM2D |
0 | 0 | 6 | 116 | — |
ClassicalBridge.Fluids.ContinuumLimit2D |
16 | 10 | 28 | 1637 | — |
ClassicalBridge.Fluids.Discrete |
0 | 0 | 0 | 59 | — |
ClassicalBridge.Fluids.Galerkin2D |
6 | 2 | 7 | 239 | — |
ClassicalBridge.Fluids.LNAL |
0 | 0 | 1 | 42 | — |
ClassicalBridge.Fluids.LNALSemantics |
0 | 2 | 7 | 94 | — |
ClassicalBridge.Fluids.Regularity2D |
9 | 0 | 0 | 320 | — |
ClassicalBridge.Fluids.Simulation2D |
2 | 10 | 7 | 359 | — |