Dark Hacker News
new
|
best
|
ask
|
show
|
jobs
saithound | Dark Hacker News
user:
saithound
created:
May 26, 2019
karma:
1.9k
submissions
comments
1.
Some Junk Theorems in Lean
(github.com)
91 points
by
saithound
145 days ago
|
61 comments