Explorable explanation for the Dirichlet prime number theorem (specified by Max, implemented by Claude) - View it on GitHub