8Braid/8db-navier-stokes-evidence

Explore what survives a changed assumption: a Lean-checked Navier-Stokes algebra example, interactive explanation and replay evidence.

2 best points · 0 comments · 1 Hacker News post · 0 GitHub stars · View on GitHub

Hacker News discussions

• The proof passed. Can you see why it works? (2 points, 0 comments, by ashdee, 2026-09-16)