A kernel run on the Navier-Stokes blowup Lean project(github.com)
4 pointsby ravanova4 hours ago1 comment