{"type": "article", "title": "Claude Code and the Collatz Conjecture: A Lesson in Lean 4", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/claude-code-and-the-collatz-conjecture-a-lesson-in-lean-4", "original_source": "https://promptcube3.com/en/news/4294/", "published": "2026-07-29T19:49:17+00:00", "accessed": "2026-07-29", "id": "claude-code-and-the-collatz-conjecture-a-lesson-in-lean-4"}