{"type": "article", "title": "Formally proving a calculation with Claude and Lean", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/formally-proving-a-calculation-with-claude-and-lean", "original_source": "https://www.johndcook.com/blog/2026/06/10/claude-and-lean/", "published": "2026-06-10T23:11:01+00:00", "accessed": "2026-06-16", "id": "formally-proving-a-calculation-with-claude-and-lean"}