Lance Fortnow: Navier-Stokes and Lean

(blog.computationalcomplexity.org)

3 points | by digital55 5 hours ago ago