{"type": "article", "title": "OpenProver: Agentic and Interactive Theorem Proving with Lean 4", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/openprover-agentic-and-interactive-theorem-proving-with-lean-4", "original_source": "https://arxiv.org/abs/2607.09217", "published": "2026-07-13T04:00:00+00:00", "accessed": "2026-07-14", "id": "openprover-agentic-and-interactive-theorem-proving-with-lean-4"}