A kernel run on the Navier-Stokes blowup Lean project

  • Posted 39 minutes ago by ravanova
  • 4 points
https://github.com/ravanova/blowup-search/blob/main/writeup/7_confirmation/BLOG_CONFIRMATION.md

1 comments

    Loading..