descriptive claim
Kevin Hartnett's book mainly recounts Lean creator Leo de Moura's journey with collaborators in developing Lean.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“But, um, the, the thrust of the book is mostly about this gentleman called Leo de Moura, who is the creator of Lean, and the tumultuous and interesting, fascinating journey that he went on with many of his collaborators to get to where Lean is today.”3:11Report a misattribution
0.95how strongly it was put, not whether it is true
0.65importance to the conversation
0.94confidence the claim was read correctly