Skip to content
GitLab
Explore
Sign in
Tej Chajed
iris
Repository
iris-coq
theories
proofmode
tactics.v
Find file
Blame
History
Permalink
eauto hint for introducing ◇.
· 66f8aa36
Robbert Krebbers
authored
Jan 05, 2017
66f8aa36