Ecology
Ecology modules in the audited public canon. Hand-written Lean theorems, sorry-free, with no domain-specific axioms.
| module | thm | lemma | def | lines | papers |
|---|---|---|---|---|---|
Ecology.BiodiversityIndexFromConfigDim |
2 | 0 | 2 | 46 | — |
Ecology.BiodiversityScalingFromJCost |
10 | 0 | 2 | 201 | — |
Ecology.ExtinctionCascadeFromLedgerBankruptcy |
15 | 0 | 7 | 280 | — |
Ecology.PredatorPreyFromPhiLadder |
2 | 0 | 2 | 46 | — |
Ecology.TrophicCascadeFromJCost |
1 | 0 | 1 | 42 | — |