KnowraProof assistantLinked fromLinked fromThe 16 pages that link to Proof assistant, each with the reason it gives.All 16Broader topic 1Related 14Compared with 1Automated theorem provingCompared with: Proof assistants typically emphasize reliable checking and guided construction over unrestricted automatic search.