Skip to content
GitLab

Add back a proofmode test for issue #288

Merged Tej Chajed requested to merge tchajed/iris-coq:restore-proofmode-test into master

This test is incompatible with Coq 8.8 and Coq 8.9, but Iris no longer supports those versions.