{"type": "article", "title": "Lean 4 101 for Python Programmers: A Gentle Introduction to Theorem Proving", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/lean-4-101-for-python-programmers-a-gentle-introduction-to-theorem-proving", "original_source": "https://dev.to/shrsv/lean-4-101-for-python-programmers-a-gentle-introduction-to-theorem-proving-1f3e", "published": "2026-05-22T19:46:26+00:00", "accessed": "2026-07-07", "id": "lean-4-101-for-python-programmers-a-gentle-introduction-to-theorem-proving"}