Programming Language Theory Flashcard
What is the fundamental requirement of rocq on its argument of a fixpoint definition?
Books
Deckgeneral
Question
What is the fundamental requirement of rocq on its argument of a fixpoint definition?
Answer
Question
What is the fundamental requirement of rocq on its argument of a fixpoint definition?
Answer