Skip to main content
Community Scilla Cookbook
Discord
Telegram
Scilla Docs
Scilla IDE
GitHub
Community Cookbook Github
🌜
🌞
Search
One doc tagged with "peano"
View All Tags
Natural numbers
NAT types are natural numbers. You can start at 0 using,