GitHub repository: provables/sequencelib
Primary language: Lean
Created: 2025-04-11T00:11:19Z
Description: A platform for formalizing OEIS sequences in Lean 4