Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
tejstead
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
7 ms
·
1.
▲
by
tejstead
5d ago
I think this is why Terence Tao created https://palomar-registry.org (I have no affiliation with them besides also having sent in a result there)
2.
▲
by
tejstead
5d ago
> I am at a loss about what to do with these results. I would recommend publishing them to Palomar ( https://palomar-registry.org/ ) - I have no affiliation, this is an online registry of Lean-verified proofs created by Te