logoalt Hacker News

jgbuddy • today at 5:36 PM • 1 reply • view on HN

Here's the formalization / lean verification: https://github.com/openai/NavierStokesAndEuler

Replies

stabbles • today at 5:41 PM

341k lines of lean without comments

➕ show 2 replies