Tag Archives: pi-day

Happy pi day

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

Posted in Uncategorized | Tagged , | 2 Comments