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.

A331536 Number of theorems in the MIU formal system which can be proved in n steps or fewer starting with the axiom 'mi'.

Table of values

n a(n)
1 1
2 3
3 6
4 11
5 25
6 69
7 282
8 1730
9 15885
10 210105
11 3986987
12 106053474

List of values

[1, 3, 6, 11, 25, 69, 282, 1730, 15885, 210105, 3986987, 106053474]