• Sotuanduso
    link
    fedilink
    English
    arrow-up
    5
    arrow-down
    1
    ·
    2 months ago

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