Skip to content
GitLab
Explore
Sign in
Dan Frumin
iris-coq
Repository
iris-coq
proofmode
tactics.v
Find file
Blame
History
Permalink
Tactic iSimplifyEq that substitutes Leibniz equalities that are in the proof mode context.
· c031da7d
Robbert Krebbers
authored
Jun 23, 2016
c031da7d