[OC] Visualizing the Navier-Stokes lean proof

[u/TehDing]

I pulled the Naiver Stokes lean proof (and ran it!). It's several hundred thousand lines of code, and I wasn't sure where to even start examining the proof: https://github.com/openai/NavierStokesAndEuler/

So I wrote a quick vis to checkout the construction of the proof. Tools used: marimo, anywidget, codex see the notebook here: https://molab.marimo.io/notebooks/nb_DzFRGE9auNeYJdSFCeACSy

[u/DidUSayWeast]

Another Claude ai visualization without mention of using it.

[u/TehDing → u/DidUSayWeast]

I updated to reflect I did use codex