Skip to content

Counterexamples for affine+em and Löb+em.

Robbert Krebbers requested to merge robbert/counter into master

Following the discussion in Iris Helpdesk today, I mechanized these counterexamples in Coq.

Edited by Robbert Krebbers

Merge request reports