1337isnot1337

1337isnot1337/integer-factoring

Open research on deterministic integer factoring bounds, with proofs and reproducible certificates.

3 stars 0 forks 3 watchers Lean Apache License 2.0
View on GitHub
3 Open Issues Need Help Last updated: Oct 30, 2026

Open Issues Need Help

View All on GitHub
Reproduce the standard-library verification suite from a fresh checkout 4 days ago
help wanted good first issue reproduction
1337isnot1337/integer-factoring
3

Open research on deterministic integer factoring bounds, with proofs and reproducible certificates.

Lean
Add a short glossary for the half-rate proof and contributor guide 4 days ago
documentation help wanted good first issue
1337isnot1337/integer-factoring
3

Open research on deterministic integer factoring bounds, with proofs and reproducible certificates.

Lean
Independent replay: the finite coarsened-network adapters in PR #4 4 days ago
help wanted reproduction
1337isnot1337/integer-factoring
3

Open research on deterministic integer factoring bounds, with proofs and reproducible certificates.

Lean