urist, 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.
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.