{"entity": "git-lrc", "url": "https://wpnews.pro/entity/git-lrc", "count": 2, "articles": [{"slug": "lean-4-101-for-python-programmers-a-gentle-introduction-to-theorem-proving", "title": "Lean 4 101 for Python Programmers: A Gentle Introduction to Theorem Proving", "url": "https://wpnews.pro/news/lean-4-101-for-python-programmers-a-gentle-introduction-to-theorem-proving", "published_at": "2026-05-22 19:46:26+00:00"}, {"slug": "understanding-ai-code-fast-a-60-second-habit-for-institutional-memory", "title": "Understanding AI Code Fast: A 60-Second Habit for Institutional Memory", "url": "https://wpnews.pro/news/understanding-ai-code-fast-a-60-second-habit-for-institutional-memory", "published_at": "2026-05-21 09:45:03+00:00"}]}