Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
loading thread…
3 ms
·
Generating Lean 4 and SWI Prolog code with Grok 4.5
1 points
by
ibobev
3mo ago