Lean certificates accompanying Navier-Stokes and Euler results

(github.com)

1 points | by thunderbong 6 hours ago ago

No comments yet.