Counterexamples for affine+em and Löb+em.
Following the discussion in Iris Helpdesk today, I mechanized these counterexamples in Coq.
Edited by Robbert Krebbers
Following the discussion in Iris Helpdesk today, I mechanized these counterexamples in Coq.