Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
Nokurn
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
3 ms
·
1.
▲
by
Nokurn
4y ago
This is great stuff. I did something similar in a 2020 paper[1] using Coq. I did not find Coq particularly suited for this type of work. Isabelle/HOL looks promising. One thing to note is that these types of verifications can become di