Programming Language Theory Flashcard
What is a tactic in rocq?
Books
Concepts
Deckrocq-programming-language
Question
What is a tactic in rocq?
Answer
A proof command in Rocq, that transforms a goal's state to form a step of a proof.
Question
What is a tactic in rocq?
Answer
A proof command in Rocq, that transforms a goal's state to form a step of a proof.