amintimany/iris-logrel

Logical relations in iris.

Coq