descriptive claim
The speaker says Kevin Hartnett spent years researching the Lean story and interviewing people involved.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“Now, Kevin Hartner really brought this story to life. He spent, I think, years researching this story, speaking with all of these guys, so I highly recommend you read Kevin's book.”1:33:07Report a misattribution
0.80how strongly it was put, not whether it is true
0.40importance to the conversation
0.90confidence the claim was read correctly