Programming Language Theory Flashcard
Other than hypotheses, what can be used with rewrite tactics in rocq?
Books
Deckgeneral
Question
Other than hypotheses, what can be used with rewrite tactics in rocq?
Answer
Question
Other than hypotheses, what can be used with rewrite tactics in rocq?
Answer