A kernel run on the Navier-Stokes blowup Lean project

(github.com) by ravanova | Sep 11, 2026 | 0 comments on HN