About Set in Prime
Personal prime-number art, with a proof checked by Lean.
Set in Prime turns a name into a piece of mathematics you can keep or give.
Your name appears in the digits of a real prime number. Choose a style, add a dedication, and download your artwork, a three-page PDF, and the complete proof project.
The proof is part of the gift. Lean is free software that checks mathematical proofs step by step. Before your portrait is ready, Lean checks a proof that its exact number is prime.
Curious to see it happen? Click “Run the proof yourself” to watch a fresh Lean check in a hosted workspace, with no installation needed. You can also download the project and check it independently.
Try the free studio: https://setinprime.com
A coffee helps cover prime searches, proof checks, hosting, and development. Support is entirely optional.
Recent supporters