Skip to content
GitLab
Explore
Sign in
Iris
Iris
Repository
iris
tests
proofmode.v
Find file
Blame
History
Permalink
Add back a proofmode test for issue
#288
· b0141831
Tej Chajed
authored
Nov 11, 2020
This test is incompatible with Coq 8.8 and Coq 8.9, but Iris no longer supports those versions.
b0141831