Skip to content

Allow multiple arguments in `iEval .. in` and `iSimpl in`.

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

This resolves #238 (closed)

Merge request reports