4 sources healthy · latest episode 9 Nov 2026
opinion claim

The speaker describes the Lean community as being like a family.

Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026

In their words

The transcript segments this claim was taken from

“You know, you don't wanna air your dirty laundry, uh, you know, in, in public. I mean, the, the thing about the people working on Lean, it's just a wonder-- it's like family.”
1:28:00Report a misattribution
0.95how strongly it was put, not whether it is true
0.45importance to the conversation
0.98confidence the claim was read correctly