Not really. To verify, you need to perform the computations using the tools you can trust. It can be pen-and-paper-and-brain, or it can be a personal computer.