Theorem prover

Wikipedia: Theorem Provers are computer programs that prove mathematical theorems.

=List of theorem provers=

=Reference=
 * 1) see comparison by Freek Wiedijk .pdf