Skip to content

Prophecy Erasure

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

I just prove erasure for heap_lang prophecies. This still needs (serious) cleanups. Any feedback is welcome.

Edited by Ralf Jung

Merge request reports