A kernel run on the Navier-Stokes blowup Lean project

4 points | by ravanova 8 hours ago

1 comments