Online encyclopedia of integer sequences
Content created by Egbert Rijke and Fredrik Bakke.
Created on 2023-03-21.
Last modified on 2024-09-23.
Modules in the OEIS namespace
module online-encyclopedia-of-integer-sequences where open import online-encyclopedia-of-integer-sequences.oeis public
Recent changes
- 2024-09-23. Fredrik Bakke. Some typos, wording improvements, and brief prose additions (#1186).
- 2023-05-06. Egbert Rijke. Collecting some easily defined precategories (#598).
- 2023-03-21. Egbert Rijke. Recording OEIS sequences that are formalized in the library (#527).