descriptive claim
De Mora said he was still evaluating alternatives by reading about proof assistants and studying their implementations.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“I'm still trying to understand the alternatives, he wrote. I've been reading about all of these proof assistants and studying their implementations.”19:04Report a misattribution
0.95how strongly it was put, not whether it is true
0.55importance to the conversation
0.96confidence the claim was read correctly