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 A300128 #8 Feb 27 2018 03:40:30 %S A300128 0,1,1,1,5,9,17,55,122,289,828,2037,5239,14578,37942,101307,281041, %T A300128 755726,2062288 %N A300128 Number of Motzkin trees that are "typable closable skeletons". %C A300128 From the Bodini-Tarau paper: a Motzkin skeleton is called "typable" if "it exists at least one simply-typed closed lambda term having it as its skeleton". %H A300128 Olivier Bodini, Paul Tarau, <a href="https://arxiv.org/abs/1709.04302">On Uniquely Closable and Uniquely Typable Skeletons of Lambda Terms</a>, arXiv:1709.04302 [cs.PL], 2017. %Y A300128 Cf. A000108, A001006, A135501. %K A300128 nonn,more %O A300128 0,5 %A A300128 _Michael De Vlieger_, Feb 25 2018