Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
impodimium
searching Neon…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
6 ms
·
1.
▲
by
impodimium
3mo ago
Interesting that this only specialized for Lean4 and not for similar like Coq
2.
▲
by
impodimium
3mo ago
Huh did not expect them to lift restrictions this soon.
3.
▲
by
impodimium
3mo ago
Eh still looks like it is weaker than Opus 4.8 but maybe a good replacement for Sonnet 4.x