KnowraComputer-assisted proofLinked fromLinked fromThe 13 pages that link to Computer-assisted proof, each with the reason it gives.All 13Broader topic 1Related 9Narrower topic 2Compared with 1Deductive reasoningBroader topic: Computers can check extensive deductive derivations that exceed practical hand verification.