Skip to content

Lang lemmas

Amin Timany requested to merge amintimany/iris-coq:lang_lemmas into master

Lemmas that we need for proving prophecy erasure.

Merge request reports