cp's OEIS Frontend

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.

A166746 Count of propositional theorems up to 10^n in Richard C. Schroeppel's Goedelization of A101273.

Table of values

n a(n)
1 0
2 0
3 4
4 12
5 72
6 262
7 1396
8 6126
9 31186
10 144606
11 713078
12 3384796

List of values

[0, 0, 4, 12, 72, 262, 1396, 6126, 31186, 144606, 713078, 3384796]