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.

A100200 Decimal Goedelization of antitheorems from propositional calculus, in Richard C. Schroeppel's metatheory of A101273.

Table of values

n a(n)
1 151
2 252
3 1431
4 1831
5 2432
6 2832
7 3141
8 3181
9 3242
10 3282
11 11511
12 12512
13 14151
14 15141
15 15331
16 15910
17 21521
18 22522
19 24252
20 25242
21 25332
22 25920
23 31531
24 32532
25 33151
26 33252
27 91051
28 91510
29 92052
30 92520
31 114311
32 118311
33 124312
34 128312
35 141431
36 141831
37 142431

List of values

[151, 252, 1431, 1831, 2432, 2832, 3141, 3181, 3242, 3282, 11511, 12512, 14151, 15141, 15331, 15910, 21521, 22522, 24252, 25242, 25332, 25920, 31531, 32532, 33151, 33252, 91051, 91510, 92052, 92520, 114311, 118311, 124312, 128312, 141431, 141831, 142431]