Asymptotically attaining the Moore bound

Source: arxiv:2608.03965, url:https://github.com/woutercvb/wewantmoore Authors: Wouter Cames van Batenburg, Samuel Korsky, PrimeNumberTheoremAnd contributors Status: verified Main declarations: MooreBound.DegreeDiameter.theorem_1_1 Tags: graph-theory, finite-geometry, asymptotics, prime-number-theorem MSC: 05C35, 05B25, 11N05