Hacker News with Generative AI: Lean

TBM 333: Lean Graph Theory (cutlefish.substack.com)
If you've followed my work over the years, you know that I frequently mention ideas from Lean, such as limiting work in progress, continuous improvement, "respect for people," Andon cords, reducing overburden (Muri), systems thinking, etc. I frequently recommend Mary and Tom Poppendieck's book The Lean Mindset: Ask the Right Questions.
LeanDojo: Theorem Proving in Lean Using Language Models (leandojo.org)
New Foundations is consistent – a difficult mathematical proof proved using Lean (leanprover-community.github.io)