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 A109459 #8 May 13 2018 10:17:28 %S A109459 2,3,6,14,45,196,1360,15631 %N A109459 Number of inequivalent Krom functions on n variables (or 2SAT instances) under permuting and complementing variables. %D A109459 Knuth, Donald E., Satisfiability, Fascicle 6, volume 4 of The Art of Computer Programming. Addison-Wesley, 2015, pages 148 and 220, Problem 191. %Y A109459 See A109457 for definitions and references. %K A109459 nonn,hard,more %O A109459 0,1 %A A109459 _Don Knuth_, Aug 24 2005