3 ms·

What is such a theorem prover? I'm interested in it for trying to prove properties of my own programs...