{"type": "article", "title": "I'm starting a interview series of people working in Lean / formal methods / math formalization", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/i-m-starting-a-interview-series-of-people-working-in-lean-formal-methods-math", "original_source": "https://www.lesswrong.com/posts/CqmQ7rh23w8ZaaKqz/i-m-starting-a-interview-series-of-people-working-in-lean", "published": "2026-08-15T14:00:16+00:00", "accessed": "2026-08-15", "id": "i-m-starting-a-interview-series-of-people-working-in-lean-formal-methods-math"}