descriptive claim
Leo developed useful Lean tactics and built the capability for Lean users to create their own tactics.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“So Leo builds out the capability. He writes some specific tactics that are useful for Lean, but he also builds out the capability for people in the community, Lean users, to write their own tactics.”46:54Report a misattribution
0.95how strongly it was put, not whether it is true
0.70importance to the conversation
0.97confidence the claim was read correctly