HN
Hacker News
Top
New
Best
Ask
Show
Jobs
emileokada
16 karma · joined July 29, 2015
submissions
comments
Which mathematical definitions should be formalised in Lean?
mathoverflow.net
·
15 pts
·
emileokada
·
1
Manchester City’s plan for global domination
theguardian.com
·
2 pts
·
emileokada
·
0