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 A015425 #19 Sep 08 2022 08:44:40
%S A015425 1,13421773,240191982810781,3967756584209486471005,
%T A015425 66828959857649638516515454045,1120110037194182450025632158559979613,
%U A015425 18796917128597217472986991275660647159371869
%N A015425 Gaussian binomial coefficient [ n,12 ] for q=-4.
%D A015425 J. Goldman and G.-C. Rota, The number of subspaces of a vector space, pp. 75-83 of W. T. Tutte, editor, Recent Progress in Combinatorics. Academic Press, NY, 1969.
%D A015425 I. P. Goulden and D. M. Jackson, Combinatorial Enumeration. Wiley, NY, 1983, p. 99.
%D A015425 M. Sved, Gaussians and binomials, Ars. Combinatoria, 17A (1984), 325-351.
%H A015425 Vincenzo Librandi, <a href="/A015425/b015425.txt">Table of n, a(n) for n = 12..150</a>
%F A015425 a(n) = Product_{i=1..12} ((-4)^(n-i+1)-1)/((-4)^i-1) (by definition). - _Vincenzo Librandi_, Nov 06 2012
%t A015425 Table[QBinomial[n, 12, -4], {n, 12, 20}] (* _Vincenzo Librandi_, Nov 06 2012 *)
%o A015425 (Sage) [gaussian_binomial(n,12,-4) for n in range(12,19)] # _Zerinvary Lajos_, May 28 2009
%o A015425 (Magma) r:=12; q:=-4; [&*[(1-q^(n-i+1))/(1-q^i): i in [1..r]]: n in [r..25]]; // _Vincenzo Librandi_, Nov 06 2012
%K A015425 nonn,easy
%O A015425 12,2
%A A015425 _Olivier Gérard_