KnowraConstructive proofLinked fromLinked fromThe 15 pages that link to Constructive proof, each with the reason it gives.All 15Broader topic 2Related 5Compared with 8Mathematical proofRelated: It gives more than existence when the argument supplies a witness.Curry–Howard correspondenceRelated: Under the correspondence, such evidence is represented by a program inhabiting a type.IntuitionismRelated: Intuitionistic proofs must provide constructions rather than merely rule out counterexamples.TheoremRelated: For existence theorems, it can show exactly how to produce the required object.L. E. J. BrouwerRelated: Brouwer’s intuitionism requires existence proofs to provide constructions.