Programming Language Theory Flashcard
Which symbols can be used to mark nested subgoals in destruct in rocq?
Books
Deckgeneral
Question
Which symbols can be used to mark nested subgoals in destruct in rocq?
Answer
Question
Which symbols can be used to mark nested subgoals in destruct in rocq?
Answer