Skip to content
GitLab
Explore
Sign in
Tej Chajed
iris
Repository
iris-coq
theories
tests
proofmode.v
Find file
Blame
History
Permalink
Some test cases/uses for stronger framing in disjunctions.
· 35ba9ba1
Robbert Krebbers
authored
Feb 01, 2018
35ba9ba1