Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Show HN: Agent-to-code JIT compiler for Z3-theorem-proving agents
github.com/stanford-mast
6 points
calebhwin
7 months ago
No comment yet
Show HN: Agent-to-code JIT compiler for Z3-theorem-proving agents | Heykuki News