Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
squobias2
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
4 ms
·
1.
▲
by
squobias2
10y ago
That's simply not true. This isn't the first, and it's very, very likely not the best. Google the term invariant generator. There are many impressive inductive invariant generators for interesting and challenging theories tha