top new show ask jobs

▲ 1 points

Generating Lean 4 and SWI Prolog code with Grok 4.5

johndcook.com

by ibobev·26d ago·0 comments·view on hn ↗

// no comments yet

built with astro · data from hacker newshn.reader