News for hackers. Stuff that matters.

A comment on Navier–Stokes Lost in Translation. Parent comment

Re:Navier–Stokes Lost in Translation by dwattttt on Thursday October 08, 2026 @03:03AM (#50002637)
They are claiming that the NL proof and the Lean proof are not consistent though: the NL proof is not being validated by the Lean proof, and the Lean proof is not being "explained" by the NL proof.
[ Parent | on HN ]

There are no comments on this comment yet.