Y
Hacker News
new
|
ask
|
show
|
jobs
user:
emileokada
created:
2015-07-29
karma:
16
submissions:
0 points
|
0 comments
0 points
|
0 comments
Which mathematical definitions should be formalised in Lean?
15 points
|
1 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
Manchester City’s plan for global domination
2 points
|
0 comments