Lean certificates accompanying Navier-Stokes and Euler results

1 pointsposted 6 hours ago
by thunderbong
(github.com)

No comments yet