Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
elcomet | Dark Hacker News
user:
elcomet
created:
May 26, 2018
karma:
2.7k
about:
elcomet at mailbox dot org
submissions
comments
1.
What does a lean proof prove?
(supaiku.com)
5 points
by
elcomet
153 days ago
|
1 comment