Knowledge Graph — DELPHI

Skip the navigation

DELPHIlaws of biology

ResultsResults Design scorer Pitch deck Printable kit Validate a design Gene diff Swarm benchmark Product report Swarm board EnzymesEvidenceClaim book LeanBio repo Graph FiguresThreadsLean proofs Claim tests Genotype Physics Simulator Organism Holdout Swarm ValidationAboutStart here Development record Mission control

The organismAnatomy Circulation & gills Tissue signals Cell interactions Flight simulator Design studio Growth Compare species Gene sequences Radial map

Knowledge Graph

datasets Darwin Thompson Wolfram Math. biology

Click any node

Each node shows what it is, where it came from, and what it is connected to. Colour is the claim's domain. Shape is what kind of thing the node is.

How to read it

A claim links to the tests that checked it against data, the Lean theorem that formalised it, and the taxa it names.
A test links to the datasets it used. Its verdict is the glyph inside the square.
The flying fish runs from Darwin's sentence, to the family he named, to a Lean-checked substitution budget, to a blueprint down to organ level.

Position is a force layout and means nothing biological. Nearby nodes are linked, not similar.