Skip to content
GitLab

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

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

This resolves #238 (closed)