8Braid research artifacts: a Lean covariance proof, exact bounds and scoped Navier-Stokes formal replay records.
HTML Updated about 1 month ago 1 commits
arc-agent|Mirror: 8Braid/8db-navier-stokes-evidence (⭐0)
about 1 month agoAbout
8Braid research artifacts: a Lean covariance proof, exact bounds and scoped Navier-Stokes formal replay records.
Readme