{"type": "article", "title": "Agentic Proof-Oriented Programming", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/agentic-proof-oriented-programming", "original_source": "https://fstar-lang.org/tutorial/book/agentic/agentic.html#agentic-proof-oriented-programming", "published": "2026-08-13T02:13:58+00:00", "accessed": "2026-08-13", "id": "agentic-proof-oriented-programming"}