Hacker GitHub

← All repos

openai/NavierStokesAndEuler

View on GitHub ↗ ★ 2,120 Lean

Lean certificates accompanying Navier-Stokes and Euler results

20 mentions on Hacker News by 15 people: 2 stories, 18 comments · first 2026-09-08 · latest 2026-10-08

Mentions per year 20 mentions · busiest year 2026 (20)
20082026
AllStoriesComments NewestTopOldest
  1. ▲ 9
    OpenAI changed Navier-Stokes press release and Lean4 code on GH
    story by rawland · 2026-09-11 · 2 comments
  2. ▲ 1
    Lean certificates accompanying Navier-Stokes and Euler results
    story by thunderbong · 2026-09-09 · 0 comments