Crowdly
Add to Chrome
In Lean, how is the type of natural numbers defined?
✅ The verified answer to this question is available below. Our community-reviewed solutions help you understand the material better.
In Lean, how is the type of natural numbers defined?
❌
❌
❌
✅