Programming Language Theory Flashcard
What is proof by rewriting in rocq?
Books
Concepts
Deckrocq-programming-language
Question
What is proof by rewriting in rocq?
Answer
A proof by rewriting is a tactic that involves rewriting terms to terms that have been proven to be equal.