Skip to content

Add an `iSimpl in "%"` test.

Dan Frumin requested to merge dfrumin/iris-coq:isimpl_test into master

Merge request reports