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.

A101273 Theorems from propositional calculus, translated into decimal digits.

Table of values

n a(n)
1 171
2 181
3 272
4 282
5 1531
6 1631
7 2532
8 2632
9 3151
10 3161
11 3252
12 3262
13 11711
14 11811
15 12712
16 12812
17 14171
18 14181
19 14271
20 14272
21 15171
22 15172
23 16171
24 16181
25 17141
26 17161
27 17162
28 17261
29 17331
30 17910
31 18141
32 18161
33 18331
34 18910
35 21721
36 21821
37 22722
38 22822
39 24171

List of values

[171, 181, 272, 282, 1531, 1631, 2532, 2632, 3151, 3161, 3252, 3262, 11711, 11811, 12712, 12812, 14171, 14181, 14271, 14272, 15171, 15172, 16171, 16181, 17141, 17161, 17162, 17261, 17331, 17910, 18141, 18161, 18331, 18910, 21721, 21821, 22722, 22822, 24171]