4 sources healthy · latest episode 9 Nov 2026
descriptive claim

The speaker recalls that Lean began with him and some students and that he visited Leo at Microsoft to work on the project.

Unresolved speaker · Mathematics Just Changed Forever — Kevin Hartnett · 26 Oct 2026

In their words

The transcript segments this claim was taken from

“Um, um, I mean, for both of us it's been, I mean, the last several years has been surreal. I mean, we c- we just remember the early days of Lean. You know, I, yeah, again, I can remember when it was just me and some students, and I, I remember my time visiting Leo at Microsoft and working on the project.”
1:32:45Report a misattribution
0.95how strongly it was put, not whether it is true
0.45importance to the conversation
0.97confidence the claim was read correctly