Skip to content

Fupd soundness lemmas always generate credits

Lennard Gäher requested to merge lgaeher/iris:lc-fupd-gen-refactor into master

Factored out from !808 (merged).

Merge request reports