Programming Language Theory Flashcard
What does the admitted command do in rocq?
Books
Concepts
Deckrocq-programming-language
Question
What does the admitted command do in rocq?
Answer
It tells Rocq to just treat something as an Axiom.
Question
What does the admitted command do in rocq?
Answer
It tells Rocq to just treat something as an Axiom.