KnowraAutomated theorem provingLinked fromLinked fromThe 27 pages that link to Automated theorem proving, each with the reason it gives.All 27Broader topic 2Related 21Narrower topic 3Compared with 1Proof assistantCompared with: Proof assistants typically keep humans involved in directing proof construction.