definition claim
Mathlib is the body of mathematics available for use by people working in Lean.
Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026
In their words
The transcript segments this claim was taken from
“And what that, uh-- I think kind of a, an important point to emphasize is Mathlib is all of the math that anyone working in Lean can draw on.”39:01Report a misattribution
0.90how strongly it was put, not whether it is true
0.75importance to the conversation
0.99confidence the claim was read correctly