A kernel run on the Navier-Stokes blowup Lean project

4 pointsposted 8 hours ago
by ravanova
(github.com)

1 Comments