Moreira, W., & Stubbs, J. (2026). Sequencelib: A Computational Platform for Formalizing the OEIS in Lean.
Chicago Style (17th ed.) CitationMoreira, Walter, and Joe Stubbs. Sequencelib: A Computational Platform for Formalizing the OEIS in Lean. 2026.
MLA (9th ed.) CitationMoreira, Walter, and Joe Stubbs. Sequencelib: A Computational Platform for Formalizing the OEIS in Lean. 2026.
Warning: These citations may not always be 100% accurate.