Lean 4 — Web Pulse coverage

Lean 4 101 for Python Programmers: A Gentle Introduction to Theorem Proving :: https://wpnews.pro/news/lean-4-101-for-python-programmers-a-gentle-introduction-to-theorem-proving
Prompt for AI agent to act as a Lean mentor :: https://wpnews.pro/news/prompt-for-ai-agent-to-act-as-a-lean-mentor