![[Appendix/Media/Images/Lean Notes Robots.png]] <center><span style="font-size: 1.5em;">Lean Notes is a budding branch on the Lean knowledge tree.</span></center> <br> <center>The bots worked side-by-side with their 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 studying a variety of topics in math, logic, and the Lean language. I am learning these subjects with Gemini 3.5 acting as my tutor. The Lean Notes wiki is a journal of my studies.