Post

The software package known as Lean — which can verify mathematical proofs — is bringing a major shift to the math world. But not everyone is sure it is good for the field. Tune in to The Quanta Podcast: podcasts.apple.com/us/podcast/t...