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.

A369408 Irregular triangle read by rows: T(n,k) is the length of the shortest proof for the MIU formal system string (theorem) given by A369173(n,k).

Table of values

n a(n)
2 1
3 4
4 2
5 2
6 11
7 5
8 8
9 5
10 8
11 3
12 9
13 9
14 6
15 9
16 5
17 6
18 9
19 6
20 3
21 6
22 3

List of values

[1, 4, 2, 2, 11, 5, 8, 5, 8, 3, 9, 9, 6, 9, 5, 6, 9, 6, 3, 6, 3]