Lance Fortnow: Navier-Stokes and Lean blog.computationalcomplexity.org 3 points by digital55 10 days ago · 0 comments Reader PiP Save No comments yet.