Lance Fortnow: Navier-Stokes and Lean

3 points | by digital55 5 hours ago