Lean certificates accompanying Navier-Stokes and Euler results

(github.com)

1 points | by thunderbong 5 hours ago ago