pandolfonicolo

pandolfonicolo/oeis-proofs

Reproducible proofs, manuscripts, and verification packages for OEIS sequences.

1 good first / help-wanted issue · TeX · last activity Jul 23, 2026

0 stars 0 forks 0 watchers TeX Other
combinatorics mathematics oeis reproducible-research
View on GitHub
1 Open Issue Need Help Last updated: Jul 23, 2026

Open Issues Need Help

View All on GitHub
OEIS account approval, compliant submission, and optional external review 3 months ago
help wanted review requested
pandolfonicolo/oeis-proofs
0

Reproducible proofs, manuscripts, and verification packages for OEIS sequences.

TeX
#combinatorics#mathematics#oeis#reproducible-research