Programmings›Lean›Chapter 2. Propositions and Proofs2.13 Classical vs Constructive LogicLean is constructive by default.
Maths›00. General Mathematics1.5 Constructive vs Classical ViewpointsComparison of constructive and classical mathematics, including existence, proof, logic, and computation.