Claude Draws the Mandelbrot Set in Pure Lean

Geoffrey Irving showed that Claude can compute and render the Mandelbrot set entirely in the Lean proof assistant without Python, even using the public-domain Hershey stroke font to draw text, demonstrating strong code generation in a formal environment.

2026-10-15 ~ 2026-10-15 · 2 related posts

• Mandelbrot in pure Lean: Claude renders figures with Hershey fonts, no Python — geoffreyirving · 2026-10-15
• Claude renders Mandelbrot sets in pure Lean, no Python, with certified enclosures — geoffreyirving · 2026-10-15