**Website: LeanNotes.wiki** ![[Appendix/Media/Images/Lean Notes Robots.png]] <center><span style="font-size: 1.5em;">The LeanNotes wiki is a budding branch on the Lean knowledge tree.</span></center> <br> <center>The bots worked side-by-side with their favorite smart pets as they built the Lean knowledge tree.</center> <br> <center>The pets are still occasionally referred by their old name, the humans.</center> --- - My name is [[dducoff|Den Ducoff]] and I am retired math tutor who is math, logic, and the Lean language. - I am curating the LeanNotes wiki site to journal my experiences learning these subjects, with [[Gemini 3.5]] acting as my tutor. - The LeanNotes wiki pages are organized into the following top level headings: - `Courses and eBooks` : This section includes the Lean learning materials, section by section. - `Proofs`: This section includes the *.lean* proof wiki page annotations. They include the following information: - a list of the tactics used in the proof - the contexts in which the proof is useful - a code block that includes the proof, if it is small - a GitHub link to the *.lean* file that contains the proof - a cross-reference to where these proofs are included in the courses and eBooks - `Tactics` : This section includes the tactics used the proofs. These wiki pages include links to proofs that provide interesting examples of tactic applications. - `Topics` : This section includes the concepts used to explain the LeanNotes methods and resources. These wiki pages include descriptions of: - `AI prompts` : the prompts used to generate LeanNotes content. - [[LeanNotes coding idioms]] : The Lean .lean preferred tactic usage and commenting that adhere to the [[LeanNotes coding style- explanation over terseness|LeanNotes coding style]]. - [[LeanNotes coding style- explanation over terseness]] : The motivations and description of the *.lean* files that adhere to the LeanNotes coding style. - The [[LeanNotes Zulip channel]] : The repository for community discussions of LeanNotes wiki pages. - Various other topics that clarify important ideas for creating Lean proofs. - Happy proofing! --- Author: [[dducoff]] Posted Date: 2026-06-25