Lean certificates accompanying Navier-Stokes and Euler results

(github.com) by thunderbong | Sep 9, 2026 | 0 comments on HN