descriptive claim
Thomas Hales's decision to use Lean on his next project was significant for Lean.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“And the fact that he decided to do the next project using Lean was a big deal on Lean.”6:36Report a misattribution
0.90how strongly it was put, not whether it is true
0.60importance to the conversation
0.90confidence the claim was read correctly