Skip to content
GitLab
Explore
Sign in
Janno
iris-coq
Repository
Branches
Overview
Active
Stale
All
janno/iframe-cbv
8178efc8
·
iFrame: Do not call `cbv` on user terms in contexts
·
Mar 21, 2024
iris/iris!1042
janno/iframe-no-upd
609abd92
·
Prevent iFrame from instantiating existentials under updates.
·
Mar 12, 2024
iris/iris!1041
janno/fix-566
2618fee6
·
Add changelog entry.
·
Mar 06, 2024
iris/iris!1039