AlphaPeu commune
CrocSwap/integer-mult-bounds
Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 framework.
- Propriétaire
- CrocSwap (organisation)
- Étoiles
- Étoiles : 317
- Forks
- Forks : 314
- Langage
- Python
- Licence
- Apache-2.0
- Création
- 2026
- Rang
- Alpha (250 à 699 ★) Ce que veut dire ce rang
D’autres dépôts Python
Tous les dépôts Python- Dogacel/auto-gpu-kernelÉtoiles : 317PythonAlpha
- Mondo-Robotics/PMTÉtoiles : 317PythonAlpha
- jiarui-liu/IdeaScientistÉtoiles : 317PythonAlpha
- DanielStutzbach/blistÉtoiles : 317PythonAlpha
- perone/PyevolveÉtoiles : 317PythonAlpha
- arsenetar/send2trashÉtoiles : 317PythonAlpha