Skip to content
GitLab
Explore
Sign in
Simon Spies
Iris
Repository
iris
tests
proofmode.ref
Find file
Blame
History
Permalink
Tests, the same we have for `⌜ φ ⌝ → ...`.
· 8812a3a3
Robbert Krebbers
authored
Oct 31, 2022
8812a3a3