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 A303584 #5 May 13 2018 10:22:46 %S A303584 2,3,6,22,253,37098,109873815 %N A303584 Number of inequivalent Krom functions on n variables (or 3SAT instances) under permuting and complementing variables. %D A303584 Knuth, Donald E., Satisfiability, Fascicle 6, volume 4 of The Art of Computer Programming. Addison-Wesley, 2015, pages 148 and 220, Problem 191. %Y A303584 Cf. A109459. %K A303584 nonn,more %O A303584 0,1 %A A303584 _N. J. A. Sloane_, May 13 2018