Agentic Proof-Oriented Programming (via larrytheliquid) — discussion

#ai #formalmethods