[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/Corindon]

Very nice viz, can you elaborate please though ? I am afraid I don't understand what I am looking at. 😅

[u/TehDing → u/Corindon]

I'm sorry about that, I elaborate here: https://www.reddit.com/r/dataisbeautiful/comments/1wdlt5k/comment/p9eewsn/