Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
a-bedford
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
a-bedford
6y ago
That is pretty cool! I have also tried to address this problem in the past, but by adding annotations to the proofs ( https://github.com/andrew-bedford/coqatoo ). It was only a proof-of-concept though.
2.
▲
by
a-bedford
6y ago
I like the concept, well done. A suggestion would be to add some kind of filtering capability (e.g., see only landscapes, historical sites).