You don't have to trust a theorem prover, it gives you either a proof or a counter-example. You can use another tool to verify them.