Automated theorem prover

A tool that attempts to prove theorems automatically without human guidance, using techniques like resolution, rewriting, or SAT/SMT solving (contrast with interactive provers like Coq that require u

A tool that attempts to prove theorems automatically without human guidance, using techniques like resolution, rewriting, or SAT/SMT solving (contrast with interactive provers like Rocq that require user-directed tactics).