Search results

Refactor interactive to its own flake

Status: Open.

Task

#21 In provables/sequencelib;

· waltermoreira opened on May 25, 2026

Setup generic hooks for module and for docs

Status: Open.

Task

#20 In provables/sequencelib;

· waltermoreira opened on May 25, 2026

AIProver

Status: Open.

Task

#19 In provables/sequencelib;

· waltermoreira opened on May 24, 2026

LLM experiments

Status: Open.

Task

#18 In provables/sequencelib;

· waltermoreira opened on May 24, 2026

Tweaks for oeis-heavy tactic

Status: Open.

Task

#17 In provables/sequencelib;

· waltermoreira opened on May 24, 2026

Parallelization

Status: Open.

Task

#16 In provables/sequencelib;

· waltermoreira opened on May 24, 2026

OEIS Pipeline

Status: Open.

Task

#15 In provables/sequencelib;

· waltermoreira opened on May 24, 2026

Nix refactoring

Status: Open.

Task

#14 In provables/sequencelib;

· waltermoreira opened on May 24, 2026

Populate database

WIPWork in progressWork in progress

Status: Open.

Task

#13 In provables/sequencelib;

· waltermoreira opened on May 24, 2026

Add sqlite database

WIPWork in progressWork in progress

Status: Open.

#12 In provables/sequencelib;

· waltermoreira opened on Mar 31, 2026

Modify oeis attribute to retrieve values from OEIS database

Status: Open.

#11 In provables/sequencelib;

· joestubbs opened on Feb 27, 2026

Ailoop

WIPWork in progressWork in progress

Status: Open.

#10 In provables/sequencelib;

· waltermoreira opened on Feb 25, 2026