vibefrtz

An Erdős–Kac law for palindromes and for reversed primes

This record contains the manuscript "An Erdős–Kac law for palindromes and for reversed primes" together with a Lean 4 formalisation certifying its deductive content. The paper. For every integer b ≥ 2 we determine the distribution of the number of prime factors, counted with or w...