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 A008840 #28 Feb 19 2025 11:20:56 %S A008840 0,1,1,2,3,7,30,716 %N A008840 Number of monotone self-dual Boolean functions of n variables that are inequivalent under the symmetric group. %D A008840 D. E. Knuth, The Art of Computer Programming, Vol. 4A, Section 7.1.1, p. 79. %H A008840 Daniel Elliott Loeb, <a href="http://www.labri.u-bordeaux.fr/~loeb">Home page</a> %H A008840 Bartłomiej Pawelski, <a href="https://bip.ug.edu.pl/st-tyt_nauk/117481/bartlomiej_pawelski">Counting and generating monotone Boolean functions</a>, Doctoral Diss., Univ. Gdańsk, (Poland, 2024). See pp. 12, 15, 58, 67, 73. (Abstract in Polish.) %H A008840 <a href="/index/Bo#Boolean">Index entries for sequences related to Boolean functions</a> %Y A008840 Cf. A003180, A057132, A108803. %Y A008840 Cf. A107765 (non-isomorphic self dual monotones = differences of A008840?). - _Olivier Gérard_, Oct 11 2012 %K A008840 nonn,hard,nice,more %O A008840 0,4 %A A008840 _Daniel E. Loeb_