Programming Language Theory Flashcard
What is notation scope in rocq? how to explicitly specify them?
Books
Deckgeneral
Question
What is notation scope in rocq? how to explicitly specify them?
Answer
Question
What is notation scope in rocq? how to explicitly specify them?
Answer