Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
dsksddfhsf
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
dsksddfhsf
7y ago
Previously: A real nice similar project using Coq: https://news.ycombinator.com/item?id=4014646 That's very polished, visually or at least typographically, which might not please everyone. But the idea of "proof b