![[Lean Notes Robots.png]] <center><span style="font-size: 1.5em;">Lean Notes is a budding branch on the tree of Lean knowledge</span></center> <br> <center>The non-bots worked side-by-side with the bots as they built the Lean Notes knowledge tree.</center> <center>The non-bots 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 acting as my tutor. I am journaling about my studies in this wiki, the Lean Notes wiki.