• Kissaki@programming.dev
    link
    fedilink
    English
    arrow-up
    3
    ·
    6 months ago

    Seems like a valid formalization.

    I think a or a few counter-examples would go a long way though.