descriptive claim
Leo later became one of the strongest proponents of dependent type theory.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“Um, and so he needed convincing there that the trade-off was worth it. I think, you know, in the end he came around. I mean, now he's one of the, the biggest proponents of dependent type theory.”23:23Report a misattribution
0.95how strongly it was put, not whether it is true
0.65importance to the conversation
0.97confidence the claim was read correctly