A kernel run on the Navier-Stokes blowup Lean project

 (github.com)

4 points | by ravanova 8 hours ago ago

1 comments