This is an archived version pinned as of the submission of my master's thesis. An up-to-date version may be found online.

Online encyclopedia of integer sequences

Files in the OEIS folder

module online-encyclopedia-of-integer-sequences where

open import online-encyclopedia-of-integer-sequences.oeis public