Theorems

A claim is listed here only when it is math-centred (it has a formal statement, a Lean formalization, or is a mathematical law or model theorem) and its mathematical content has been proved: either machine-checked in Lean 4 (module compiled with no sorry and only Lean's standard axioms) or recorded as proved in the literature. Being from a mathematical-biology paper, carrying a formula, scoring high with the truth assessors, or being called a theorem by its author does not qualify on its own. The math claims still waiting for a proof are in the claim graph. A proof shows the statement follows from its assumptions; whether living systems satisfy those assumptions is left to the claim graph and the claim tests.