mastodon — José A. Alonso — 12 Sep 2026
Navier-Stokes and Lean. ~ Lance Fortnow. https:// blog.computationalcomplexity.o rg/2026/09/navier-stokes-and-lean.html…
#computational-complexity #proof-assistants #ai-for-mathematics
Navier-Stokes and Lean. ~ Lance Fortnow. https:// blog.computationalcomplexity.o rg/2026/09/navier-stokes-and-lean.html # LeanProver # AI4Math