opinion claim
De Mora regarded HOL Light as by far the most elegant option, a view that differed from Jeremy Avigad's.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“In my opinion, it's the most elegant by far. He acknowledged that this perspective was at odds with Avigad's.”19:23Report a misattribution
0.95how strongly it was put, not whether it is true
0.60importance to the conversation
0.95confidence the claim was read correctly