A kernel run on the Navier-Stokes blowup Lean project

4 points | by ravanova 2 hours ago

No comments yet