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)
|
created |
2 years, 4 months ago |
|
viewed |
9 times |
|
active |
2 years, 4 months ago |
|
editors |
1 |
