digital55

↗ HN profile [ 1317 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Lance Fortnow: Navier-Stokes and Lean (blog.computationalcomplexity.org)