Lean certificates accompanying Navier-Stokes and Euler results

1 points | by thunderbong 5 hours ago