Theorem prover
Theorem prover
may refer to:
Automated theorem prover
Proof assistant
, an interactive theorem prover
Topics referred to by the same term
Uses material from the Wikipedia article
Theorem prover
, released under the
CC BY-SA 4.0
license.