descriptive claim
Kevin Buzzard, Johan Commelin, Patrick Masso, Jeremy Avigad, and Mario Carneiro are involved in Mathlib's development, and Mario Carneiro is an important figure in that development.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“People like Kevin Buzzard, Johan Commelin, Patrick Masso, Jeremy Avigad's very involved. M-Mario Carneiro is another figure who's very important in the development of Mathlib.”31:05Report 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