![[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 acting as my tutor. The Lean Notes wiki is a journal of my studies. This wiki is also the very early implementation of an AI-assisted education process that I call the [[The Math Portfolio Method]].