Get the latest tech news

Are We Stuck with Lean?

Three years ago, I gave an informal talk to my colleagues, suggesting that we were living in the Dumey microsecond when it would still be possible for the mathematical community to throw its weight

None

Get the Android app