Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
sf12sd
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
sf12sd
2mo ago
Not peer reviewed, Lean proofs are 100,000 lines long and Lean has bugs: https://cr.yp.to/proofs.html Who is going to wade through this?