Skip to content

Add back a proofmode test for issue #288

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.

Merge request reports