Geology
Geology modules in the audited public canon. Hand-written Lean theorems, sorry-free, with no domain-specific axioms.
| module | thm | lemma | def | lines | papers |
|---|---|---|---|---|---|
Geology.EarthquakeScalingFromJCost |
2 | 0 | 2 | 49 | — |
Geology.EruptionRecurrenceLadder |
6 | 0 | 3 | 124 | — |
Geology.GutenbergRichterFromLedger |
10 | 0 | 5 | 197 | — |
Geology.PlateBoundaryDynamics |
3 | 0 | 5 | 117 | — |
Geology.PlateMotionFromPhiLadder |
2 | 0 | 2 | 46 | — |
Geology.RockCycleFromConfigDim |
1 | 0 | 1 | 35 | — |
Geology.VolcanicForcingAsJCostImpulse |
16 | 0 | 6 | 280 | — |
Geology.VolcanismFromPhiLadder |
2 | 0 | 2 | 46 | — |