• @[email protected]
    link
    fedilink
    English
    46 months ago

    In one of my last CS classes, we did proofs and would use “by observation” for this kind of thing.