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 1William ThurstonCompared with: Thurston’s emphasis on human understanding raises questions about what counts as an explanatory proof.