Lean certificates accompanying Navier-Stokes and Euler results

1 points | by thunderbong an hour ago

No comments yet