Project Delphi — Mathematical Models of Biological Form (1917–2026) | D’Arcy Thompson, Aristotelian Morphospace & Lean 4
fractastical.github.io · saved by 1 readers
Explore 116 verified simulations of biological form across Aristotle’s 10×10 matrix, D’Arcy Thompson’s 1913 & 1917 works, and Lean 4 formal proofs.