Lean certificates accompanying Navier-Stokes and Euler resultsgithub.com1 point·thunderbong··0 commentsOpen articleSaveView on HN