4 sources healthy · latest episode 9 Nov 2026
descriptive claim

The speaker describes Leo as highly self-critical: despite users loving Lean, Leo sees its flaws, calls it terrible, and persistently tries to fix them.

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

In their words

The transcript segments this claim was taken from

“Oh, yeah. So Leo is, like, extremely self-critical. I mean, just there, there are many moments in the story of the development of Lean where he has some users and they love it, and he says it's shit.”
“I mean, he just thinks it's terrible. He-- all he sees is its flaws. He wants to very doggedly fix those flaws.”
24:27Report a misattribution
0.90how strongly it was put, not whether it is true
0.60importance to the conversation
0.96confidence the claim was read correctly