Fractal Geometry on Sascha Troscheithttps://www.troscheit.eu/tags/fractal-geometry/Recent content in Fractal Geometry on Sascha TroscheitHugoen-gbSun, 25 Oct 2026 10:50:43 +0100AI, Lean, and sharing mathematicshttps://www.troscheit.eu/blog/ai-lean-and-sharing-mathematics/Sun, 25 Oct 2026 10:50:43 +0100https://www.troscheit.eu/blog/ai-lean-and-sharing-mathematics/<p>Over the last few months I have gotten back into Lean and worked with LLMs to formalise much of my own mathematics as well as the mathematics that I rely on. A concrete result of those is a GitHub repository for Fractal Geometry that may be interesting to you if you want to formalise similar results. A link can be found at the end of this post, which is all about recent happenings in AI and Maths.</p>