Programming Language Theory Flashcard
Which special treatments are given to natural numbers in rocq?
Books
Concepts
Deckrocq-programming-language
Question
Which special treatments are given to natural numbers in rocq?
Answer
Rocq gives natural numbers special parsing and printing capabilities.