Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
ur-whale | Dark Hacker News
user:
ur-whale
created:
January 11, 2018
karma:
5.4k
submissions
comments
1.
Project Lana attempts to formalize hard to understand Mochizuki's IUT in Lean
(anabelian.org)
3 points
by
ur-whale
9 days ago
|
1 comment