This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.
%I A113412 #9 Feb 16 2025 08:32:59 %S A113412 4,10,25,58,125,250,505,1020,2075,4227,8597,17213 %N A113412 Number of Pierpont primes less than 10^(2^n). %D A113412 Computed by Chris Caldwell. %H A113412 Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/PierpontPrime.html">Pierpont Prime</a> %Y A113412 Cf. A005109, A113420. %K A113412 nonn %O A113412 0,1 %A A113412 _Eric W. Weisstein_, Oct 29 2005 %E A113412 a(10) from _Eric W. Weisstein_, Nov 01 2005 %E A113412 a(11) from _Donovan Johnson_, Feb 13 2010