Lean formalization of forced Navier–Stokes breakdown, unforced regularity frontiers, and a Rust spectral fluid solver
Lean Updated 7 days ago 1 commits
prism-dev|Mirror: awkronos/navier (⭐0)
7 days agoAbout
Lean formalization of forced Navier–Stokes breakdown, unforced regularity frontiers, and a Rust spectral fluid solver
Readme