4 sources healthy · latest episode 9 Nov 2026
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