https://leannotes.wiki/Community/dducoffhttps://leannotes.wiki/Appendix/Media/Media+Creditshttps://leannotes.wiki/Appendix/Authors/Sebastian+Ullrichhttps://leannotes.wiki/Appendix/Authors/Leonardo+de+Mourahttps://leannotes.wiki/Appendix/Authors/Soonho+Konghttps://leannotes.wiki/Appendix/Authors/Bulhwi+Chahttps://leannotes.wiki/Appendix/Authors/Bhavik+Mehtahttps://leannotes.wiki/Appendix/Authors/Jeremy+Avigadhttps://leannotes.wiki/Tactics/apply-tactichttps://leannotes.wiki/Appendix/Authors/Gemini+3.5https://leannotes.wiki/Appendix/LeanNotes+copyright+licensehttps://leannotes.wiki/Tactics/intro-tactichttps://leannotes.wiki/Topics/LeanNotes+coding+style/set_optionshttps://leannotes.wiki/Topics/LeanNotes+coding+style/Naming+conventionshttps://leannotes.wiki/Tactics/by_contra-tactichttps://leannotes.wiki/Topics/LeanNotes+coding+style/File+header+templatehttps://leannotes.wiki/Lean+Notes+Homehttps://leannotes.wiki/LeanNote+idioms/exact-showhttps://leannotes.wiki/Courses+and+eBooks/Formalising+Mathematics+-+Metha/Table+of+Contentshttps://leannotes.wiki/Courses+and+eBooks/Theorem+Proving+in+Lean+4+-+Avigad%2C+et+al./Table+of+Contentshttps://leannotes.wiki/LeanNote+idioms/intro-typinghttps://leannotes.wiki/LeanNote+idioms/Table+of+Contentshttps://leannotes.wiki/Topics/Table+of+Contentshttps://leannotes.wiki/Tactics/Table+of+Contentshttps://leannotes.wiki/Courses+and+eBooks/Formalising+Mathematics+-+Metha/1+Logic+Sheets/1++Logic+Sheet+1https://leannotes.wiki/What's+newhttps://leannotes.wiki/Topics/Syntactic%2C+Definitional%2C+and+Propositional+Equalityhttps://leannotes.wiki/Proofs/Propositional+Logic/Negationhttps://leannotes.wiki/Proofs/Propositional+Logic/Table+of+Contentshttps://leannotes.wiki/Proofs/Propositional+Logic/Identityhttps://leannotes.wiki/LeanNote+idioms/apply-relabeledhttps://leannotes.wiki/Appendix/Authors/Kevin+Buzzardhttps://leannotes.wiki/Tactics/have-tactichttps://leannotes.wiki/Tactics/change-at-tactichttps://leannotes.wiki/Tactics/change-tactic