Provables

Pinned Loading

1. sequencelib sequencelib Public

   A platform for formalizing OEIS sequences in Lean 4

   Lean 21 5

2. lean4-template lean4-template Public

   A Lean4 template with blueprints enabled

   Jinja 1

3. special-numbers special-numbers Public

   Special Numbers (Chapter 6 from Knuth's Concrete Mathematics)

   Lean 3

4. lean-toolchain-nix lean-toolchain-nix Public

   Flake for Lean 4 with lake tools

   Nix