Announcement
Mandelbrot figures made in pure Lean without Python
A user says Claude used a public-domain Hershey stroke font for the text after being asked to avoid Python.
TLDR
A user shared Mandelbrot-set figures made in pure Lean after asking Claude to produce them without Python. They say Claude used a public-domain Hershey stroke font for the text.
Combined views
656
1 Source, first seen ago
