https://leannotes.wiki/Community/dducoffhttps://leannotes.wiki/Appendix/Licensehttps://leannotes.wiki/Appendix/Lean+Notes+Homehttps://leannotes.wiki/Courses+and+eBooks/Func+Prog+(ITI0212+-+Spring+2025)+-+Earnshaw/Func+Prog+(ITI0212+-+Spring+2025)+-+Earnshawhttps://leannotes.wiki/Courses+and+eBooks/Theorem+Proving+in+Lean+4+-+Avigad/Theorem+Proving+in+Lean+4+-+Avigadhttps://leannotes.wiki/Courses+and+eBooks/Formalising+Mathematics+-+Metha/Sheets+-+Formalising+Mathematics+-+Mehtahttps://leannotes.wiki/Courses+and+eBooks/Formalising+Mathematics+-+Metha/Sheet+1+-+apply%2C+exact%2C+introhttps://leannotes.wiki/Courses+and+eBooks/Formalising+Mathematics+-+Metha/Formalising+Mathematics+-+Methahttps://leannotes.wiki/Courses+and+eBooks/CS+22+-+Lewis/CS+22+-+Lewishttps://leannotes.wiki/Appendix/Media/Media+Creditshttps://leannotes.wiki/Courses+and+eBooks/Theorem+Proving+in+Lean+4+-+Avigad/Solutions+-+Theorem+Proving+in+Lean+4+-+Ortegahttps://leannotes.wiki/Courses+and+eBooks/Theorem+Proving+in+Lean+4+-+Avigad/Solutions+-+Theorem+Proving+in+Lean+4+-+Chahttps://leannotes.wiki/Appendix/Authors/Gemini+3https://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/Articles/The+Lean+development+environment/set_options+used+in+the+Lean+Notes+.lean+files