https://rhizomes.pages.dev/tags/lean/ Recent content in Lean on Rhizomes Hugo en-us Tue, 19 May 2026 17:43:51 +0000 https://rhizomes.pages.dev/blog/introduction-to-lean-for-programmers/ Tue, 19 May 2026 17:43:51 +0000 https://rhizomes.pages.dev/blog/introduction-to-lean-for-programmers/ <p><em>The syntax and semantics of mathematics</em></p> <p><img src="https://rhizomes.pages.dev/images/medium/introduction-to-lean-hero.jpeg" alt="Infinite chessboard. Image generated by Grok (xAI)"></p> <p><em>Infinite chessboard. Image generated by Grok (xAI)</em></p> <h2 id="intro-to-proof-assistants">Intro to proof assistants</h2> <p>I&rsquo;m a software engineer who transitioned into data science, and I work daily with machine learning algorithms. I&rsquo;m fascinated both by their apparent magic and by the mathematics that underlies them. Pry open any machine learning library and you&rsquo;ll find mathematical tricks involving matrix decompositions, convolutions, Gaussian curves, and more. These, in turn, are built on even more fundamental axioms and rules, such as function application and logic.</p>