Skip to main content

For questions regarding ATP's (Automatic Theorem Provers), which attempt to prove a theorem without any assistance. If you are using a Proof Assistant or an interactive theorem prover and are providing help to the prover, then do not use this tag.

References: Wikipedia
Overview of Automated Theorem Proving by Geoff Sutcliffe (link)
The TPTP Problem Library for Automated Theorem Proving (link)