HN Explorer

emileokada

↗ HN profile [ 35.2 ms ] full profile
Karma
16
Created
July 29, 2015 (10y ago)
Submissions
0
  1. Which mathematical definitions should be formalised in Lean? (mathoverflow.net)
    15 points 1
  2. Manchester City’s plan for global domination (theguardian.com)
    2 points 0