• urist
    link
    fedilink
    English
    arrow-up
    1
    ·
    1 year ago

    It does fine for many proofs, but it will occasionally just make shit up when it needs to do arithmetic. I’ve only used the free version though.