{"type": "article", "title": "Lamport Agent - AI-assisted Formal Specification", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/lamport-agent-ai-assisted-formal-specification", "original_source": "https://zfhuang99.github.io/github%20copilot/formal%20verification/tla+/2025/11/14/lamport-agent.html", "published": "2025-11-14T00:00:00+00:00", "accessed": "2026-06-10", "id": "lamport-agent-ai-assisted-formal-specification"}