opinion claim
The speaker characterizes dependent type theory as a weighty, complicated, and difficult framework.
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 it was a more weighty and complicated and difficult framework. Um, and when Leo first started the project, he was aiming for simplicity, you know, a very simple, formal, you know, foundation.”23:10Report a misattribution
0.90how strongly it was put, not whether it is true
0.70importance to the conversation
0.97confidence the claim was read correctly