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