Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
ladberg | Dark Hacker News
user:
ladberg
created:
August 10, 2017
karma:
3.5k
about:
Contact me at hackernews@leoadberg.com
submissions
comments
1.
Alleged Navier Stokes Existence and Smoothness Proof in Lean
(twitter.com)
2 points
by
ladberg
193 days ago
|
0 comments