Skip to main content

Use this tag when no human intervention is needed. If the questions concerns automated theorem proving use the tag automated-theorem-proving.

Software and applications strive to be fully automatic. Doing proofs can sometimes be done automatically, thus automated theorem provers and sometimes the proofs need assistants, thus proof assistants or interactive theorem provers.