Quanta Books on Quanta Science Podcast

I think that everyone, whether they're familiar with Lean, interested in mathematics, should check out your book. It's got a great pace. It's very interesting. It raises a lot of interesting questions, just like our conversation started from a, here was a project at Microsoft Research, and suddenly we're talking about... society-level questions. It follows a similar kind of arc, and so everyone should read it. It's just come out in the last few days, The Proof and the Code, available wherever you get your books.