Programming Language Theory Flashcard
What
Books
Concepts
Deckrocq-programming-language
Question
What's the difference between reflexivity and simpl in rocq?
Answer
reflexivity performs more simplification than simpl.
simpllazily unfolds the terms and does not finish the proof.reflexivityeagerly unfolds the terms then finishes the proof.