Skip to content

GitLab

Merged
Opened by Tej Chajed@tchajedDeveloper

Add back a proofmode test for issue #288

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