Tag Archives: General

Yesterday was pi day, and discussion of Lean’s support of pi came up on the chat. The discussion of pi is I think a great way of illustrating what Lean can and cannot do. To start with, “Lean has pi”. … Continue reading →