3 ms·
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.
by ot 15y ago
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.