CrocSwap/integer-mult-bounds

• 类型：github
• 标识：CrocSwap/integer-mult-bounds
• 链接：https://github.com/CrocSwap/integer-mult-bounds
• 主分类：engineering
• 形态：library
• 分类：trending
• Stars：245
• 周增：+0
• 语言：Python
• 许可：Apache-2.0
• 最近提交：2026-10-13
• 简介：Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 framework.
• 上次采集：2026-10-14
• 首次采集：2026-10-14
• 待LLM分类：否
• 成熟度：experimental
• 简介中文：条件整数乘法：kappa > 2^-15。社区证明、精确证书与可复现审计，基于 OpenAI #109 框架。
• 场景：formal verification、integer arithmetic、auditing
• 来源文件：
• [GitHub Search]