Agentic Proof-Oriented Programming

(fstar-lang.org)

1 points | by woggy 11 hours ago ago