Lean certificates accompanying Navier-Stokes and Euler results

Lean certificates that accompany Navier-Stokes and Euler results can be useful for prototypes or internal workflows when the README and activity match a concret