PLAY
GROUND
← ARCHIVE
CURRENT EXPERIMENT →
ARCHIVED EXPERIMENT · V9
NAVIER-STOKES: FULL GRID SIMULATOR
September 2026
REYNOLDS: Re = 4,200
VORTICITY: ‖∇u‖ = 12.4
60 FPS
SOUND: OFF
CLAIM $1M 🏆
SNAPSHOT
SHARE ↗
TRIGGER BLOWUP 💥
RESET
VISCOSITY:
SUPERFLUID
WATER
HONEY
VIEW:
PLASMA
STREAMLINES
DYE
PRESSURE
10K AGENTS: ON
LEAN 4 📜
[LEAN 4 KERNEL]:
import Mathlib.Analysis.Calculus.FDeriv
165 PAGES FORMALIZED · Q.E.D.
PLAYGROUNDPLAYGROUND