AlphaUncommon
CrocSwap/integer-mult-bounds
Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 framework.
- Owner
- CrocSwap (organization)
- Stars
- Stars: 317
- Forks
- Forks: 314
- Language
- Python
- License
- Apache-2.0
- Created
- 2026
- Tier
- Alpha (250 to 699 ★) What this tier means
Nearby in Python
All Python repos- Dogacel/auto-gpu-kernelStars: 317PythonAlpha
- Mondo-Robotics/PMTStars: 317PythonAlpha
- jiarui-liu/IdeaScientistStars: 317PythonAlpha
- DanielStutzbach/blistStars: 317PythonAlpha
- perone/PyevolveStars: 317PythonAlpha
- arsenetar/send2trashStars: 317PythonAlpha