• Dan Frumin's avatar
    Some more examples · 1188cb70
    Dan Frumin authored
    From "The effects of higher-order state and control on local relational reasoning"
    1188cb70
_CoqProject 1.36 KB