descriptive claim
Kevin Buzzard, a mathematician at Imperial College London, was among Lean's earliest adopters and most enthusiastic advocates.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“One of the earliest adopters of Lean and kind of most enthusiastic evangelists for Lean is a mathematician at Imperial College in London named Kevin Buzzard.”26:16Report a misattribution
0.95how strongly it was put, not whether it is true
0.55importance to the conversation
0.98confidence the claim was read correctly