Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
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