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 A300130 #7 Feb 27 2018 03:40:38 %S A300130 0,1,0,0,2,0,1,7,1,13,34,20,100,226,234,853,1877,2650,8128,18116, %T A300130 30483,85713 %N A300130 Number of Motzkin trees that are a "uniquely typable skeleton". %C A300130 From the Bodini-Tarau paper: "A uniquely typable skeleton is one for which it exists exactly one simply-typed closed lambda term having it as a skeleton." %H A300130 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 A300130 Cf. A000108, A001006, A135501. %K A300130 nonn,more %O A300130 0,5 %A A300130 _Michael De Vlieger_, Feb 25 2018