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.