opinion claim
The speaker considers Isabelle excellent for many uses and says it continues to provide excellent automation.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“Um, Isabelle is a wonderful system. And so for many things, it's, it's absolutely ideal. It still to this day, um, has, uh, excellent automation, automated support.”22:00Report a misattribution
0.95how strongly it was put, not whether it is true
0.65importance to the conversation
0.98confidence the claim was read correctly