Programming Language Theory Flashcard
What is the syntax for imports in rocq?
Books
Concepts
Deckrocq-programming-language
Question
What is the syntax for imports in rocq?
Answer
From Library Require [Import] Module.
Question
What is the syntax for imports in rocq?
Answer
From Library Require [Import] Module.